Login / Signup

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.

Marcelo P. FioreGordon D. Plotkin
Published in: CSL (1996)
Keyphrases