詹姆斯·利普顿;苏珊娜·尼娃 高阶类型理论的克里普克语义应用于约束逻辑编程语言。 （英语） 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） 全文： 内政部
奥利维尔·赫曼特;詹姆斯·利普顿 在带有公理的类型理论中，一种构造性的语义方法来消减。 （英语） Zbl 1157.03031号 迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，169-183（2008）。MSC公司：05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Hermant}和\textit{J.Lipton}，莱克特。注释计算。科学。5213、169--183（2008年；Zbl 1157.03031） 全文： 内政部
詹姆斯·利普顿;迈克尔·奥唐纳。 建设性谬论的直观反例。 （英语） Zbl 1496.03250号 Privara，Igor（编辑）等人，《1994年计算机科学的数学基础》。1994年8月22日至26日，斯洛伐克科希策，第19届国际研讨会，MFCS’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。841, 87-111 (1994).MSC公司：03楼50 PDF格式BibTeX公司 XML格式引用 \textit{J.Lipton}和\textit{M.J.O'Donnell}，莱克特。注释计算。科学。841，87-111（1994；Zbl 1496.03250） 全文： 内政部