3 search results - page 1 / 1 » Stable Bistructure Models of PCF |
MFCS
1994
Springer
13 years 9 months ago
1994
Springer
IANDC
2006
13 years 5 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
APAL
2002
13 years 5 months ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...