A stable programming language
PaoliniLuca · Information and Computation · 2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence spaces) are not fully abstract for the language PCF. This fact is related to the existence of stable parallel f...