史蒂夫·阿沃迪;佛罗里达州拉贝 Martin-Löf的扩展类型理论的Kripke语义。 (英语) Zbl 1237.03007号 日志。方法计算。科学。 7,第3号,第18号文件,第25页(2011年).MSC公司:03B15号机组 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}和\textit{F.Rabe},日志。方法计算。科学。7,第3号,第18号论文,25页(2011年;Zbl 1237.03007) 全文: 内政部 arXiv公司
噢,史蒂夫;佛罗里达州拉贝 Martin-Löf的扩展类型理论的Kripke语义。 (英语) Zbl 1246.03022号 Curien,Pierre-Louis(编辑),《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02272-2/pbk)。计算机科学课堂讲稿5608,249-263(2009)。MSC公司:03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}和\textit{F.Rabe},莱克特。注释计算。科学。5608249--263(2009年;Zbl 1246.03022) 全文: 内政部 arXiv公司