Author:Murat Sinan Aygün

Keyphrases

(higher-order) equational unification, decidability, lambda calculus, logic, logic programming, non-determinism, Recursive specifications, The most general substitution.