A simple model of the theory of constructions

• 1 January 1989
• book chapter
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 92, 201-216
• https://doi.org/10.1090/conm/092/1003200

Abstract