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.
- Preliminaries?
- Realizability?
- 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.