Types as theories

• 1 August 1991
• book chapter
• Published by Oxford University Press (OUP)
• p. 357-365
• https://doi.org/10.1093/oso/9780198537601.003.0014

Abstract