lambda-calculus

54 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why does (( (λf.λx.f(f(f(x)))) (λg.λy.g(g(y))) ) (λz.z + 1)) (0) evaluate to 8?
user_42207430
•
2
2
153
lambda-calculus lambda python
Is it possible to write a data structure or data structures that represent only closed terms in Haskell or any other language?
user_109381710
•
7
3
404
bound-variable lambda-calculus expression haskell
Example assembly/machine instruction from lambda calculus
user_6511740
•
3
2
740
lambda-calculus compilation assembly compiler-construction functional-programming
Lambda calculus to scheme
user_6511740
•
1
1
109
lambda-calculus sicp scheme lisp lambda
Why is it not possible to implement fixed-point combinator like in the definition?
user_133316350
•
6
2
337
lambda-calculus python-3.x python
How to test lambda-calculus?
user_155724660
•
2
2
104
lambda-calculus purely-functional function functional-programming c++
How do you write the typing reference for this using rules from simply typed lambda calculus?
user_151259080
•
1
0
53
lambda-calculus
Capture-avoiding substitution function — Lambda calculus
user_93576570
•
2
2
358
lambda-calculus haskell
Order of parentheses in lambda calculus if paranthesis are already given?
user_154301340
•
1
1
170
lambda-calculus lambda functional-programming
Debug: Couldn't match expected type ‘GHC.Types.Bool’ with actual type ‘Bool’
user_152146380
•
2
2
64
lambda-calculus case lambda haskell debugging
Hot Questions