Extensions of pure type systems

• 1 January 1995
• book chapter
• Published by Springer Nature
• p. 16-31
• https://doi.org/10.1007/bfb0014042

Abstract

Keywords

• TYPE SYSTEMS
• PURE TYPE
• K RULES
• EXTEND PURE
• CALLED K
• NORMALISATION PROBLEMS
• FOUR STRONG
• QUOTIENT TYPES AND SUBSET
• ECC
• COROLLARY