Parametricity and variants of Girard's \(J\) operator

DOI10.1016/S0020-0190(99)00036-8zbMath1002.68024MaRDI QIDQ1606917

Robert Harper, John C. Mitchell

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

polymorphic \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Unnamed Item ⋮ Non-parametric parametricity ⋮ POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ Parametricity, type equality, and higher-order polymorphism ⋮ Martin Hofmann's Case for Non-Strictly Positive Data Types

This page was built for publication: Parametricity and variants of Girard's \(J\) operator