Two Models of Synthetic Domain Theory (1997)

by Marcelo P. Fiore, Giuseppe Rosolini