尼克·本顿;安德鲁·肯尼迪;卡斯滕·瓦明 Coq中的一些领域理论和指称语义。 （英语） Zbl 1252.68248号 Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674115-130（2009）。MSC公司：68吨15 06B35号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Lect。注释计算。科学。5674115-130（2009年；Zbl 1252.68248） 全文： 内政部
卡斯滕·瓦明;Lars Birkedal公司 Isabelle/HOLCF中的高阶分离逻辑。 （英语） 兹比尔1286.68404 Bauer，Andrej（编辑）等人，《第24届编程语义数学基础会议论文集》（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记218，371-389（2008）。MSC公司：68吨15 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Varming}和\textit{L.Birkedal}，电子。注释Theor。计算。科学。218371-389（2008年；Zbl 1286.68404） 全文： 内政部