Login / Signup

An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC

Marcelo P. FioreGordon D. Plotkin
Published in: LICS (1994)
Keyphrases