An Axiomatisation of Computationally Adequate Domain-Theoretic Models of FPC (1994)

by M P Fiore, G D Plotkin
Venue:In Proceedings of the 10th Annual IEEE Symposium on Logic In Computer Science