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

First Page		Document Content
Date: 2002-02-04 19:21:36		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 Source URL: www.margaretmorgan.com Download Document from Source Website File Size: 254,34 KB Share Document on Facebook