%0 Conference Paper %1 journals/entcs/BernardyCM15 %A Bernardy, Jean-Philippe %A Coquand, Thierry %A Moulin, Guilhem %B MFPS %D 2015 %E Ghica, Dan R. %I Elsevier %K %P 67-82 %T A Presheaf Model of Parametric Type Theory. %U http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#BernardyCM15 %V 319

@inproceedings{journals/entcs/BernardyCM15, added-at = {2023-12-14T16:20:27.000+0100}, author = {Bernardy, Jean-Philippe and Coquand, Thierry and Moulin, Guilhem}, biburl = {https://www.bibsonomy.org/bibtex/2e5333440c5c25163f4dae94cbd02cfe0/admin}, booktitle = {MFPS}, crossref = {conf/mfps/2015}, editor = {Ghica, Dan R.}, ee = {https://doi.org/10.1016/j.entcs.2015.12.006}, interhash = {f68b2f35e33a7b8b50b048de60107680}, intrahash = {e5333440c5c25163f4dae94cbd02cfe0}, keywords = {}, pages = {67-82}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2023-12-14T16:20:27.000+0100}, title = {A Presheaf Model of Parametric Type Theory.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#BernardyCM15}, volume = 319, year = 2015 }