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