Systems Outage: June 30 - July 2

More info at l.khoury.to/jun30-outage

Child pages
  • Logic Reading Group

Versions Compared

Key

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