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

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

Document Versions

An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC –Marcelo P. Fiore, Gordon D. Plotkin — 1994
An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC –Marcelo P. Fiore, Gordon D. Plotkin — 1994
An axiomatisation of computationally adequate domain theoretic models of fpc –Marcelo P. Fiore, Gordon D. Plotkin — 1994 — In 9 th LICS Conf