Formalized, Effective Domain Theory in Coq Robert Dockins Portland State University Abstract. I present highlights from a formalized development of domain theory in the theorem prover Coq. This is the f - RWD - Document - PDFSEARCH.IO

First Page	Meta Content
	Formalized, Effective Domain Theory in Coq Robert Dockins Portland State University Abstract. I present highlights from a formalized development of domain theory in the theorem prover Coq. This is the f Add to Reading List Document Date: 2015-10-04 14:40:34 Open Document File Size: 318,97 KB Share Result on Facebook

Formalized, Effective Domain Theory in Coq Robert Dockins Portland State University Abstract. I present highlights from a formalized development of domain theory in the theorem prover Coq. This is the fAdd to Reading List