Notes on synthetic domain theory (1995)

by G Rosolini