An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC

Marcelo P. Fiore, Gordon D. Plotkin

Browse the full LICS paper archive.