Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Sten Agerholm. Formalising Domain Theory in HOL. Computer Science Department, Aarhus University. DRAFT, March, 1993.
2. Hendrik P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North Holland, 1984.
3. R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press, 1979.
4. Alonzo Church. A Formulation of the Simple Theory of Types. Journal of Symbolic Logic, Vol. 5 (1940), pp. 56–68.
5. Anders Gammelgaard and Kim D. Petersen. Unpublished note.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Some Domain Theory and Denotational Semantics in Coq;Lecture Notes in Computer Science;2009
2. Experiments with ZF set theory in HOL and Isabelle;Higher Order Logic Theorem Proving and Its Applications;1995
3. Domain theory in HOL;Higher Order Logic Theorem Proving and Its Applications;1994