All Questions
Tagged with lambda-calculus set-theory
1 question
2
votes
0
answers
288
views
Lambda calculus as set-theoretic operations
It is possible to interpret typed lambda calculus a-la Church as logical operations (because of Curry-Howard correspondence). Also, there is a isomorphism between logical and set-theoretic operations. ...
