A Uniform Approach to Domain Theory in Realizability Models (1996)

by John R. Longley, Alex K. Simpson
Venue:Mathematical Structures in Computer Science