Systems Outage: June 30 - July 2

More info at

Child pages
  • Logic Reading Group

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Other possible topics:

  • Lambek calculus
  • toposes
      • An old talk of mine on extracting a CCC semantics from the straightforward set-theoretic semantics of the simply typed lambda calculus.