Pages that link to "Item:Q5704018"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704018):
Displaying 6 items.
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- (Q3532206) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
- A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics (Q5488609) (← links)