lambda-calculus

54 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Untyped lambda calculus in C#
user_35645490
•
4
1
440
lambda-calculus lambda c#
for fixed point combinator Y, what is \x.f(xx)
user_3056690
•
3
2
1561
lambda-calculus combinators computer-science theory functional-programming
Looking for a Church-encoding (lambda calculus) to define < , > , !=
user_29386330
•
10
3
5077
church-encoding lambda-calculus scheme lisp functional-programming
Haskell, lambda calculus for Evaluation
user_12480730
•
4
2
1580
evaluate lambda-calculus lambda haskell types
Haskell for Lambda Calculus, Type Inferencing
user_12480730
•
9
2
2735
lambda-calculus lambda functional-programming haskell types
Y-combinator in D?
user_5416860
•
8
4
294
d lambda-calculus y-combinator functional-programming
Subtraction of church numerals in haskell
user_8314790
•
20
3
3983
church-encoding lambda-calculus haskell
Church Numerals in haskell
user_3175120
•
9
2
6235
lambda-calculus haskell
Calling/applying lambda vs. function call - the syntax in Ruby is different. Why?
user_3664720
•
33
3
20268
lambda-calculus lambda ruby
Arithmetic with Church Numerals
user_3921190
•
18
3
4005
church-encoding lambda-calculus sicp scheme
Hot Questions