Pages that link to "Item:Q3011103"
From MaRDI portal
The following pages link to Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103):
Displaying 14 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)
- Alpha equivalence equalities (Q428860) (← 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)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Formal metatheory of the lambda calculus using Stoughton's substitution (Q2358702) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)