A presheaf model of parametric type theory
From MaRDI portal
Publication:5971392
DOI10.1016/j.entcs.2015.12.006zbMath1351.68146WikidataQ113317736 ScholiaQ113317736MaRDI QIDQ5971392
Thierry Coquand, Jean-Philippe Bernardy, Guilhem Moulin
Publication date: 16 December 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.006