"Some Domain Theory and Denotational Semantics in Coq."

Nick Benton, Andrew Kennedy, Carsten Varming (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics