@收款{zbMATH06744151，作者={Escard{\'o}，Mart{\'{\i}}n H{\“o}tzel和Xu，Chuangjie}，标题={{Brouwerian}连续性原理与{咖喱}-{霍华德}解释}，BookTitle={2015年7月1日至3日，波兰华沙，TLCA’15，第13届lambda计算和应用国际会议。诉讼}，国际标准图书编号={978-3-939897-87-3}，页码={153--164}，年份={2015年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言＝{英语}，DOI={10.4230/LIPIcs.TLCA.2015.153}，关键词={03B38,03B40,03F60,18B25}，zbMATH={6744151}，Zbl={1433.03030}}