An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (1997)

by Marcelo Fiore , Gordon D. Plotkin
Venue:In Proceedings of CSL 96
Citations:17 - 6 self

Document Versions

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory –Marcelo Fiore, Gordon D. Plotkin — 1997 — In Proceedings of CSL 96
An extension of models of axiomatic domain theory to models of synthetic domain theory –Marcelo P. Fiore, Gordon D. Plotkin — 1258 — In Proceedings of CSL 96