Extensional PERs

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

Published in: LICS (1990)

Keyphrases

case study
partial order
schema integration
data mining
web services
active learning
special case