Notes
- notes
- A Correspondence Between ALGOL 60 and Church's Lambda-Notation
- A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part I
- A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part II
- An Adequate Operational Semantics of Sharing in Lazy Evaluation
- blogroll
- call-by-name
- classical logic
- Computational Comonads and Intensional Semantics
- demand semantics
- disjunction and existence properties
- functions in demand semantics
- intuitionistic logic
- join a Zulip
- Krivine machine
- LCF Considered as a Programming Language
- linear logic
- LJ
- LK
- logic of computable functions
- Many Logics
- minimal logic
- paraconsistent logic
- PCF
- reading list
- semantics monad
- sequent calculus
- TA a class
- tags
- The Call-by-Need Lambda Calculus