On the Unification Problem for Cartesian Closed Categories

Paliath Narendran Frank Pfenning Richard Statman

Published in: LICS (1993)

Keyphrases

higher order
theorem proving
data sets
queueing networks
information systems
decision making
database systems
evolutionary algorithm
polar coordinates
automatically classify
equational theories