An axiomatisation of computationally adequate domain theoretic models of fpc (1994)

by Marcelo P. Fiore , Gordon D. Plotkin
Venue:In 9 th LICS Conf
Citations:34 - 6 self