A Uniform Approach to Domain Theory in Realizability Models (1996)
by
John R. Longley
,
Alex K. Simpson
| Venue: | Mathematical Structures in Computer Science |
| Citations: | 19 - 6 self |
Document Versions
| A Uniform Approach to Domain Theory in Realizability Models –John R. Longley, Alex K. Simpson — 1996 — Mathematical Structures in Computer Science |
