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. [[thesis -- preliminaries|Preliminaries]] 1. [[thesis -- realizability constructions|Realizability]] 1. [[thesis -- equipments|Equipments]]