FOM: Set theory and type theory

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

Previous message: FOM: 108:Finite Boolean Relation Theory
Next message: FOM: Set theory and type theory
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

You probably want my HOL 94 paper.  An updated version of
it is available on my home page (i think!) ...let me check

Previous message: FOM: 108:Finite Boolean Relation Theory
Next message: FOM: Set theory and type theory
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list