Finn Lawler thesis outline (Rev #5)

This page is for material relevant to my Ph.D. thesis — I will try to sketch the important bits here as I write up the document itself.

  1. Preliminaries?
  2. Realizability?
  3. Equipments?

Revision on December 11, 2012 at 14:20:42 by Finn Lawler?. See the history of this page for a list of all contributions to it.