[TYPES/announce] Fwd: Robin Gandy's Thesis

Ohad Kammar ohad.kammar at cl.cam.ac.uk
Thu Dec 19 10:02:23 EST 2013

Robin Gandy's thesis is now freely available at:


This free access has been made possible thanks to the time and effort
invested by Mike Yates, Martin Hyland, and Barry Cooper, and
supporting funding from Barry Cooper.


More information about the Types-announce mailing list