Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes

DOI10.4230/LIPIcs.CSL.2015.374zbMath1373.68179OpenAlexW1739718082MaRDI QIDQ5351969

Daniela Petrişan, Dan R. Ghica, Murdoch James Gabbay

Publication date: 31 August 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5426/pdf/23.pdf/

zbMATH Keywords

nominal setsscopedynamic sequencesalpha equivalence

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Algebras of UTxO blockchains ⋮ Nominal Automata with Name Binding ⋮ Unnamed Item