史蒂夫·阿沃迪;弗洛里安·拉贝 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公司