P. Mulry

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
Extensional PERs Inf. Comput. 98 (2) (1992)
Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
Extensional PERs LICS (1990)