A uniform approach to domain theory in realizability models (1997)

by J R Longley, A K Simpson
Venue:Mathematical Structures in Computer Science 7