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

First Page		Document Content
Date: 2015-10-04 14:40:34		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 Source URL: rwd.rdockins.name Download Document from Source Website File Size: 318,97 KB Share Document on Facebook