%0 Conference Paper %1 bezem_et_al:LIPIcs:2014:4628 %A Bezem, Marc %A Coquand, Thierry %A Huber, Simon %B 19th International Conference on Types for Proofs and Programs (TYPES 2013) %C Dagstuhl, Germany %D 2014 %E Matthes, Ralph %E Schubert, Aleksy %I Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik %K HoTT cubical model sets %P 107--128 %R http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.107 %T A Model of Type Theory in Cubical Sets %U http://drops.dagstuhl.de/opus/volltexte/2014/4628 %V 26 %Z Keywords: Models of dependent type theory, cubical sets, Univalent Foundations %@ 978-3-939897-72-9

@inproceedings{bezem_et_al:LIPIcs:2014:4628, added-at = {2014-11-17T11:54:33.000+0100}, address = {Dagstuhl, Germany}, annote = {Keywords: Models of dependent type theory, cubical sets, Univalent Foundations}, author = {Bezem, Marc and Coquand, Thierry and Huber, Simon}, biburl = {https://www.bibsonomy.org/bibtex/2301164fc0caaf29dca270e3c4b288dc2/t.uemura}, booktitle = {19th International Conference on Types for Proofs and Programs (TYPES 2013)}, doi = {http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.107}, editor = {Matthes, Ralph and Schubert, Aleksy}, interhash = {fb857717a1d69979bddb74e041d0b01a}, intrahash = {301164fc0caaf29dca270e3c4b288dc2}, isbn = {978-3-939897-72-9}, issn = {1868-8969}, keywords = {HoTT cubical model sets}, pages = {107--128}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, timestamp = {2014-11-17T11:54:33.000+0100}, title = {{A Model of Type Theory in Cubical Sets}}, url = {http://drops.dagstuhl.de/opus/volltexte/2014/4628}, urn = {urn:nbn:de:0030-drops-46284}, volume = 26, year = 2014 }