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
  • baco
  • 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