On the Unification Problem for Cartesian Closed Categories.

Paliath Narendran Frank Pfenning Richard Statman

Published in: J. Symb. Log. (1997)

Keyphrases

higher order
databases
queueing networks
polar coordinates
database
text classification
equational theories