Pages that link to "Item:Q3612660"
From MaRDI portal
The following pages link to A Formal Calculus for Informal Equality with Binding (Q3612660):
Displayed 11 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← 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)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Term Equational Systems and Logics (Q5415637) (← links)