The following pages link to (Q3532206):
Displaying 5 items.
- Higher dimensional categories: induction on extensivity (Q2134826) (← links)
- (Q4995165) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
- A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics (Q5488609) (← links)
- Typed Lambda Calculi and Applications (Q5704018) (← links)