An extension of models of axiomatic domain theory to models of synthetic domain theory (1996)

by M P Fiore, G D Plotkin
Venue:In Proceedings of Computer Science Logic (CSL), volume 1258 of Lecture Notes in Computer Science