CPS Translations and Applications: The Cube and Beyond

• 1 January 1999
• journal article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 12  (2) , 125-170
• https://doi.org/10.1023/a:1010000206149

Abstract

Keywords

• PURE TYPE
• TYPE SYSTEMS
• CPS TRANSLATIONS
• BARENDREGT'S Λ CUBE
• TYPED