FOM: Set theory and type theory

Thomas Forster T.Forster at dpmms.cam.ac.uk
Tue Sep 18 12:48:12 EDT 2001


yep. It's on my home page:http://www.dpmms.cam.ac.uk/~tf/
Also in LNCS 859.....




More information about the FOM mailing list