First steps in synthetic domain theory (1991)

by Martin Hyland
Venue:Proceedings of the 1990 Como Category Conference, volume 1488 of Lecture Notes in Mathematics