A Presheaf Model of Parametric Type Theory
Paper in proceeding, 2015
Parametricity
Type theory
Presheaf semantics
Author
Jean-Philippe Bernardy
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Thierry Coquand
University of Gothenburg
Guilhem Moulin
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Electronic Notes in Theoretical Computer Science
1571-0661 (ISSN)
Vol. 319 67-82Nijmegen, Netherlands,
Subject Categories
Computer Science
DOI
10.1016/j.entcs.2015.12.006