The Limits of Unification.

Published in: ACL (1990)

Keyphrases

higher order
equational theories
special case
high resolution
object oriented
distributed systems
dynamic environments
fine grained
theorem proving