Go to the corresponding LIPIcs Volume Portal 
Hötzel Escardó, Martín ; Xu, Chuangjie
pdfformat: 

@InProceedings{htzelescard_et_al:LIPIcs:2015:5161, author = {Mart{\'i}n H{\"o}tzel Escard{\'o} and Chuangjie Xu}, title = {{The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation}}, booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)}, pages = {153164}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897873}, ISSN = {18688969}, year = {2015}, volume = {38}, editor = {Thorsten Altenkirch}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5161}, URN = {urn:nbn:de:0030drops51618}, doi = {10.4230/LIPIcs.TLCA.2015.153}, annote = {Keywords: Dependent type, intensional MartinL{\"o}f type theory, CurryHoward interpretation, constructive mathematics, Brouwerian continuity axioms, anonymous exi} }
Keywords:  Dependent type, intensional MartinLöf type theory, CurryHoward interpretation, constructive mathematics, Brouwerian continuity axioms, anonymous exi  
Collection:  13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)  
Issue Date:  2015  
Date of publication:  15.06.2015 