First steps in synthetic domain theory, in: Category Theory (1990)

by J Hyland
Venue:Proc. Como