On full abstraction for PCF: I, II, and III
<p>We present an order-extensional, order (or inequationally) fully abstract model for Scott's language PCF. The approach we have taken is very concrete and in nature goes back to S. C Kleene (1978, <em>in</em> “General Recursion Theory II, Proceedings of the 1977 Oslo Symposi...
| Prif Awduron: | , |
|---|---|
| Fformat: | Journal article |
| Iaith: | English |
| Cyhoeddwyd: |
Academic Press
2000
|
| Pynciau: |