Extensional PERs (1990)

by P Freyd, P Mulry, G Rosolini, D Scott
Venue:In Logic in Computer Science