scientific article; zbMATH DE number 1183239

MaRDI QIDQ3837987zbMATH OpenFDO

Authors Izumi Takeuti

Publication date 2 August 1998

zbMATH Keywords

parametricityrecursive typessecond-order predicate logicterm extraction property

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 2185725
• Formal parametric polymorphism
• Proofs for free. Parametricity for dependent types
• scientific article; zbMATH DE number 512792

Cited in

(8)

• The Girard-Reynolds isomorphism
• Realizability and parametricity in pure type systems
• scientific article; zbMATH DE number 2185725 (Why is no real title available?)
• scientific article; zbMATH DE number 3941556 (Why is no real title available?)
• scientific article; zbMATH DE number 1759401 (Why is no real title available?)
• Set-theoretic foundation of parametric polymorphism and subtyping
• Linear Abadi and Plotkin Logic
• The Girard-Reynolds isomorphism (second edition)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3837987)