詹姆斯·利普顿;苏珊娜·尼娃 高阶类型理论的克里普克语义应用于约束逻辑编程语言。 (英文) Zbl 1387.68059号 西奥。计算。科学。 712, 1-37 (2018).MSC公司:68N17号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Lipton}和\textit{S.Nieva},Theor。计算。科学。712,1--37(2018;Zbl 1387.68059) 全文: 内政部
史蒂夫·阿沃迪;弗洛里安·拉贝 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公司