Extensional PERs

Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott

Browse the full LICS paper archive.