Lambda Calculi with Types

• 10 December 1992
• book chapter
• Published by Oxford University Press (OUP)
• p. 118-310
• https://doi.org/10.1093/oso/9780198537618.003.0002

Abstract