A unifying model of variables and names

DOI10.1007/978-3-540-31982-5_11MaRDI QIDQ5705871zbMATH OpenOpenAlexFDO

Authors Marino Miculan, Kidane Yemane

Publication date 10 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106850

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Nominal unification with atom-variables
• Nominal unification with atom and context variables
• scientific article; zbMATH DE number 6123101
• Unifying nominal unification
• Unifying models
• Trustworthy Global Computing
• Generalised name abstraction for nominal sets

Cited in

(12)

• About \({|}/{|}\)-quantifiers
• Cut elimination for a logic with induction and co-induction
• A compositional coalgebraic model of fusion calculus
• A presheaf environment for the explicit fusion calculus
• Two cotensors in one: presentations of algebraic theories for local state and fresh names
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Families of symmetries as efficient models of resource binding
• A Category of Explicit Fusions
• A semantics for nabla
• A categorical model of the fusion calculus
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• About permutation algebras, (pre)sheaves and named sets

This page was built for publication: A unifying model of variables and names

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5705871)