Parametricity and variants of Girard's operator

• 1 April 1999
• journal article
• Published by Elsevier in Information Processing Letters
• Vol. 70  (1) , 1-5
• https://doi.org/10.1016/s0020-0190(99)00036-8

Abstract

Keywords

• FORMAL SEMANTICS
• FUNCTIONAL PROGRAMMING
• PROGRAMMING CALCULI
• PROGRAMMING LANGUAGES
• THEORY OF COMPUTATION