Two models of synthetic domain theory (1997)

by M Fiore, G Rosolini
Venue:J. Pure Appl. Alg