Pages that link to "Item:Q5488609"
From MaRDI portal
The following pages link to A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics (Q5488609):
Displaying 11 items.
- Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (Q633802) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- (Q3532206) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- The existential completion (Q5129224) (← links)
- On the formal theory of pseudomonads and pseudodistributive laws (Q5150014) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
- Classical lambda calculus in modern dress (Q5269006) (← links)
- Typed Lambda Calculi and Applications (Q5704018) (← links)