Peter J. Freyd
P. Freyd, P. Mulry, G. Rosolini, and D. Scott.
Extensional PERs.
Information and Computation
, 98(2):211-227, June 1992.
References, etc.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database