Pages that link to "Item:Q3656778"
From MaRDI portal
The following pages link to Nominal (Universal) Algebra: Equational Logic with Names and Binding (Q3656778):
Displaying 26 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- A dependent type theory with abstractable names (Q530845) (← links)
- Equivariant unification (Q616849) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- On solving nominal disunification constraints (Q2219072) (← links)
- Nominal equational problems (Q2233392) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- The First-Order Nominal Link (Q3003496) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- New (Q3178271) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- (Q4972733) (← links)
- The nominal/FM Yoneda Lemma (Q4988443) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- (Q5875346) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
