Pages that link to "Item:Q1887151"
From MaRDI portal
The following pages link to Nominal logic, a first order theory of names and binding (Q1887151):
Displayed 18 items.
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations (Q853738) (← links)
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- Nominal techniques in Isabelle/HOL (Q928672) (← links)
- A polynomial nominal unification algorithm (Q944382) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- Nominal unification (Q1882909) (← 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)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- On a monadic semantics for freshness (Q2566026) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- Implementing Spi Calculus Using Nominal Techniques (Q3507444) (← links)
- Nominal Matching and Alpha-Equivalence (Q3511452) (← links)
- A Compiled Implementation of Normalization by Evaluation (Q3543648) (← links)
- Nominal Inversion Principles (Q3543650) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)