church-encoding

6 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to encode two distinct Unit types using church encoding
user_184045590
•
1
0
38
church-encoding lambda-calculus
How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?
user_5939340
•
2
0
86
type-theory fixpoint-combinators recursion-schemes church-encoding functional-programming
How to make a function call itself n times
user_51389600
•
2
3
261
church-encoding currying function functional-programming javascript
Looking for a Church-encoding (lambda calculus) to define < , > , !=
user_29386330
•
10
3
5077
church-encoding lambda-calculus scheme lisp functional-programming
Subtraction of church numerals in haskell
user_8314790
•
20
3
3983
church-encoding lambda-calculus haskell
Arithmetic with Church Numerals
user_3921190
•
18
3
4005
church-encoding lambda-calculus sicp scheme
  • 1
Hot Questions