1992 | ||
---|---|---|
2 | Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs Inf. Comput. 98(2): 211-227 (1992) | |
1990 | ||
1 | Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs LICS 1990: 346-354 |
1 | Peter J. Freyd | [1] [2] |
2 | Giuseppe Rosolini | [1] [2] |
3 | Dana S. Scott | [1] [2] |