StackOverflow Questions for Tag: lambda-calculus

Sajid Sarkar

Reputation: 33

How to apply just one beta-reduction to `λy.(λx.λy.yx)yz`?

lambda-calculusreduction

Score: 2

Answers: 2

Enrique001

Reputation: 1

Computing Jacobian matrix efficiently

matlablambda-calculus

Score: 0

Answers: 0

Ryan Donnelly

Reputation: 1

Scalar and quantitative problem with code to define null and void counterparts in binary partitions

pythonphysicslambda-calculusquantum-computingquantitative

Score: 0

Answers: 0

Rubens

Reputation: 14778

Defining a stack data structure and its main operations in lambda calculus

lambdafunctional-programminglambda-calculuscombinatorsy-combinator

Score: 9

Answers: 2

richie willynton

Reputation: 43

Implementation of Church numeral multiplication in Haskell not working

functionhaskellfunctional-programminglambda-calculuschurch-encoding

Score: 4

Answers: 1

Francis Yip

Reputation: 23

Proving NOT TRUE in Lambda Calculus

booleanlambda-calculus

Score: 1

Answers: 1

Keith

Reputation: 1917

Strip `FALSE` prefix from Boolean list using the y-combinator? Stumped

lambda-calculusy-combinator

Score: 3

Answers: 2

yufiP

Reputation: 113

Integration using Lambda function gives an error

sympylambda-calculussymbolic-integration

Score: 0

Answers: 1

Alternator

Reputation: 575

Lambda Calculus Reduction steps

lambda-calculus

Score: 55

Answers: 4

rebit

Reputation: 45

mock - church numerals?

lambda-calculuschurch-encoding

Score: 0

Answers: 0

JTruant

Reputation: 417

Lambda Calculus - Evaluating Custom Rewrite Rules to Increment

incrementlambda-calculus

Score: -1

Answers: 1

MathuSum Mut

Reputation: 2825

What is the purpose of Church Encoding?

lambda-calculuschurch-encoding

Score: 2

Answers: 2

Fabricio Antonello

Reputation: 53

Overlapping Days Calculation Nightmare

exceldate-arithmeticlambda-calculussumproductoverlapping-matches

Score: -1

Answers: 1

unj2

Reputation: 53551

Church Numerals: how to encode zero in lambda calculus?

lambdatheorylambda-calculus

Score: 8

Answers: 4

MaiaVictor

Reputation: 53037

Is it possible, using PHOAS, to evaluate a term to normal form, and then stringify it?

haskelllambda-calculus

Score: 11

Answers: 1

Floof

Reputation: 41

Are numbers also functions in functional programming?

functionfunctional-programminglanguage-agnosticlambda-calculus

Score: 1

Answers: 0

Jason

Reputation: 95

Valid Lambda Expressions

lambda-calculus

Score: 0

Answers: 1

nik_nul

Reputation: 21

'Segmentation Fault' occurred when Lambda Function in Python recurves over 1e5 times

pythonlambdafunctional-programmingsegmentation-faultlambda-calculus

Score: 2

Answers: 0

arslan

Reputation: 2224

how to implement lambda-calculus in OCaml?

ocamllambda-calculus

Score: 2

Answers: 4

Doubtful

Reputation: 83

Why Rust fails when I try to implement recursion with "S I I" from SKI-calculus?

recursionrustlambda-calculus

Score: 1

Answers: 1

PreviousPage 2Next

StackOverflow Questions for Tag: lambda-calculus

How to apply just one beta-reduction to `λy.(λx.λy.yx)yz`?

Computing Jacobian matrix efficiently

Scalar and quantitative problem with code to define null and void counterparts in binary partitions

Defining a stack data structure and its main operations in lambda calculus

Implementation of Church numeral multiplication in Haskell not working

Proving NOT TRUE in Lambda Calculus

Strip `FALSE` prefix from Boolean list using the y-combinator? Stumped

Integration using Lambda function gives an error

Lambda Calculus Reduction steps

mock - church numerals?

Lambda Calculus - Evaluating Custom Rewrite Rules to Increment

What is the purpose of Church Encoding?

Overlapping Days Calculation Nightmare

Church Numerals: how to encode zero in lambda calculus?

Is it possible, using PHOAS, to evaluate a term to normal form, and then stringify it?

Are numbers also functions in functional programming?

Valid Lambda Expressions

&#39;Segmentation Fault&#39; occurred when Lambda Function in Python recurves over 1e5 times

how to implement lambda-calculus in OCaml?

Why Rust fails when I try to implement recursion with &quot;S I I&quot; from SKI-calculus?

'Segmentation Fault' occurred when Lambda Function in Python recurves over 1e5 times

Why Rust fails when I try to implement recursion with "S I I" from SKI-calculus?