A Computational Interpretation of Parametricity

DOI10.1109/LICS.2012.25zbMath1364.03021OpenAlexW1997132558MaRDI QIDQ2986790

Guilhem Moulin, Jean-Philippe Bernardy

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2012.25

zbMATH Keywords

type structurelambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

A presheaf model of parametric type theory, Unnamed Item, Towards a Cubical Type Theory without an Interval