Implementing Nominal Unification
From MaRDI portal
Publication:2867897
DOI10.1016/j.entcs.2006.09.027zbMath1278.68118OpenAlexW2102485270MaRDI QIDQ2867897
Maribel Fernández, Christophe Calvès
Publication date: 20 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.027
Related Items
A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols ⋮ Nominal Matching and Alpha-Equivalence ⋮ A polynomial nominal unification algorithm ⋮ A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols ⋮ Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Nominal Unification from a Higher-Order Perspective
Uses Software
Cites Work
This page was built for publication: Implementing Nominal Unification