FOM: Set theory and type theory
Thomas Forster
T.Forster at dpmms.cam.ac.uk
Tue Sep 18 12:48:12 EDT 2001
Previous message:
FOM: Set theory and type theory
Next message:
FOM: Set theory and type theory
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
yep. It's on my home page:
http://www.dpmms.cam.ac.uk/~tf/
Also in LNCS 859.....
Previous message:
FOM: Set theory and type theory
Next message:
FOM: Set theory and type theory
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the FOM mailing list