Notes
- blogroll
- slashes
- notes
- A Call-by-Need Lambda Calculus
- 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
- call-by-name
- classical logic
- comonad
- computational comonad
- Computational Comonads and Intensional Semantics
- demand semantics
- denotational semantics
- disjunction and existence properties
- extension and intension
- functions in demand semantics
- Haskell
- higher-order abstract syntax
- 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
- natural transformation
- paraconsistent logic
- parametric higher-order abstract syntax
- parametricity
- PCF
- reading list
- semantics monad
- sequent calculus
- TA a class
- tags