The following pages link to Benedikt Ahrens (Q2319988):
Displaying 26 items.
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- Extended Initiality for Typed Abstract Syntax (Q2887056) (← links)
- Initiality for Typed Syntax and Semantics (Q2915022) (← links)
- Displayed Categories (Q3121521) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- Categorical structures for type theory in univalent foundations (Q4683858) (← links)
- (Q5009703) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5089004) (← links)
- (Q5089005) (← links)
- (Q5111175) (← links)
- Displayed Categories (Q5111300) (← links)
- A Higher Structure Identity Principle (Q5145618) (← links)
- Initial Semantics for higher-order typed syntax in Coq (Q5195243) (← links)
- Initiality for Typed Syntax and Semantics (Q5195264) (← links)
- Non-wellfounded trees in Homotopy Type Theory (Q5277827) (← links)
- Terminal semantics for codata types in intensional Martin-L\"of type theory (Q5277969) (← links)
- Initial Semantics for Reduction Rules (Q5376643) (← links)
- Univalent categories and the Rezk completion (Q5740648) (← links)
- Modules over relative monads for syntax and semantics (Q5741555) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Modular specification of monads through higher-order presentations (Q6314958) (← links)
- Bicategories in Univalent Foundations (Q6314994) (← links)
- Univalent Monoidal Categories (Q6419746) (← links)
