An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC

Marcelo P. Fiore, Gordon D. Plotkin. An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 92-102, IEEE Computer Society, 1994.

Abstract

Abstract is missing.