Parametricity as isomorphism

DOI10.1016/0304-3975(94)00126-4zbMath0874.68030OpenAlexW2009885935MaRDI QIDQ1349670

Edmund P. Robinson

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00126-4

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Bifibrational functorial semantics of parametric polymorphism

Cites Work

• Functorial polymorphism
• A small complete category
• The Discrete Objects in the Effective Topos
• Parametricity and local variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parametricity as isomorphism