A Presheaf Model of Parametric Type Theory
Paper i proceeding, 2015
Parametricity
Type theory
Presheaf semantics
Författare
Jean-Philippe Bernardy
Chalmers, Data- och informationsteknik, Programvaruteknik
Thierry Coquand
Göteborgs universitet
Guilhem Moulin
Chalmers, Data- och informationsteknik, Datavetenskap
Electronic Notes in Theoretical Computer Science
1571-0661 (ISSN)
Vol. 319 67-82Nijmegen, Netherlands,
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1016/j.entcs.2015.12.006