Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin. A Presheaf Model of Parametric Type Theory. Electronic Notes in Theoretical Computer Science, 319:67-82, 2015. [doi]
@article{BernardyCM15, title = {A Presheaf Model of Parametric Type Theory}, author = {Jean-Philippe Bernardy and Thierry Coquand and Guilhem Moulin}, year = {2015}, doi = {10.1016/j.entcs.2015.12.006}, url = {http://dx.doi.org/10.1016/j.entcs.2015.12.006}, researchr = {https://researchr.org/publication/BernardyCM15}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {319}, pages = {67-82}, }