On solving nominal fixpoint equations
From MaRDI portal
Publication:1687556
DOI10.1007/978-3-319-66167-4_12zbMath1495.68108OpenAlexW2745493104MaRDI QIDQ1687556
Daniele Nantes-Sobrinho, Mauricio Ayala-Rincón, Maribel Fernández, Washington de Carvalho-Segundo
Publication date: 4 January 2018
Full work available at URL: https://kclpure.kcl.ac.uk/ws/files/79692494/fixpoint20170625.pdf
Related Items (5)
Nominal AC-matching ⋮ A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols ⋮ On solving nominal disunification constraints ⋮ A formalisation of nominal C-matching through unification with protected variables ⋮ Formalising nominal C-unification generalised with protected variables
This page was built for publication: On solving nominal fixpoint equations
