Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory Marcelo P. Fiore? and Gordon D. Plotkin?? Department of Computer Science Laboratory for Foundations of Computer Science University of
Add to Reading List
Document Date: 2002-02-04 19:21:36
Open Document
File Size: 254,34 KB
Share Result on Facebook
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory Marcelo P. Fiore? and Gordon D. Plotkin?? Department of Computer Science Laboratory for Foundations of Computer Science University of