安德烈亚斯·洛赫比勒 高阶逻辑中的效应多态性(证明珍珠)。 (英语) Zbl 1468.68062号 J.汽车。推理 63,第2期,439-462(2019).MSC公司:68甲18 68N20型 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},J.Autom。推理63,No.2,439--462(2019;Zbl 1468.68062) 全文: 内政部
彼得·兰米奇;安德烈亚斯·洛赫比勒 自动细化到有效的数据结构:两种方法的比较。 (英语) Zbl 1459.68228号 J.汽车。推理 63,第1号,53-94(2019).MSC公司:68伏15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}和\textit{A.Lochbihler},J.Autom。推理63,No.1,53--94(2019;Zbl 1459.68228) 全文: 内政部