M. Bezem, T. Coquand, and S. Huber. 19th International Conference on Types for Proofs and Programs (TYPES 2013), volume 26 of Leibniz International Proceedings in Informatics (LIPIcs), page 107--128. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2014)
DOI: http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.107
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}