Pages that link to "Item:Q699761"

The following pages link to A new approach to abstract syntax with variable binding (Q699761):

Displayed 13 items.

• About permutation algebras, (pre)sheaves and named sets (Q853745) ‎ (← links)
• A coalgebraic approach to the semantics of the ambient calculus (Q860882) ‎ (← links)
• A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) ‎ (← links)
• Secrecy and group creation (Q1763430) ‎ (← links)
• Nominal unification (Q1882909) ‎ (← links)
• Nominal logic, a first order theory of names and binding (Q1887151) ‎ (← links)
• A spatial logic for concurrency. I (Q1887152) ‎ (← links)
• Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) ‎ (← links)
• Nominal rewriting (Q2373703) ‎ (← links)
• A general mathematics of names (Q2373874) ‎ (← links)
• On a monadic semantics for freshness (Q2566026) ‎ (← links)
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) ‎ (← links)
• Completeness and Herbrand theorems for nominal logic (Q5477637) ‎ (← links)