Notes
- notes
- A Correspondence Between ALGOL 60 and Church's Lambda-Notation
- blogroll
- call-by-name
- classical logic
- demand semantics
- disjunction and existence properties
- functions in demand semantics
- intuitionistic logic
- join a Zulip
- Krivine machine
- linear logic
- LJ
- LK
- Many Logics
- minimal logic
- paraconsistent logic
- PCF
- reading list
- semantics monad
- sequent calculus
- TA a class
- tags