Skip navigation

This is a list of the categories I use, with brief explanations:

  • In the Light of Logic — posts about the book with this title, by Solomon Feferman.
  • Great papers — posts summarizing papers that I highly recommend.
  • Termination analysis — posts about different algorithmic methods for showing functions terminate in type theory.
  • Meetings — notes from workshops, conferences, and other meetings I attend.
  • Philosophy — occasional posts on philosophy of logic or mathematics.
  • the list is growing and I am not quite managing to keep this up to date…
%d bloggers like this: