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

by Marcelo P. Fiore , Gordon D. Plotkin
Citations:34 - 6 self