Go to the corresponding LIPIcs Volume Portal 
Altenkirch, Thorsten ; Kaposi, Ambrus
pdfformat: 

@InProceedings{altenkirch_et_al:LIPIcs:2018:8473, author = {Thorsten Altenkirch and Ambrus Kaposi}, title = {{Towards a Cubical Type Theory without an Interval}}, booktitle = {21st International Conference on Types for Proofs and Programs (TYPES 2015)}, pages = {3:13:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770309}, ISSN = {18688969}, year = {2018}, volume = {69}, editor = {Tarmo Uustalu}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/8473}, URN = {urn:nbn:de:0030drops84739}, doi = {10.4230/LIPIcs.TYPES.2015.3}, annote = {Keywords: homotopy type theory, parametricity, univalence} }
Keywords:  homotopy type theory, parametricity, univalence  
Seminar:  21st International Conference on Types for Proofs and Programs (TYPES 2015)  
Issue Date:  2018  
Date of publication:  16.02.2018 