Two Models of Synthetic Domain Theory (1997)

by Marcelo P. Fiore , Giuseppe Rosolini
Citations:11 - 3 self