Sciweavers

70
Voted
CORR
2010
Springer
105views Education» more  CORR 2010»
14 years 9 months ago
Nominal Unification from a Higher-Order Perspective
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
Jordi Levy, Mateu Villaret