The following pages link to (Q4508305):
Displaying 6 items.
- Fibrational modal type theory (Q1744413) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Adjoint reactive GUI programming (Q2233414) (← links)
- Categorical structures for type theory in univalent foundations (Q4683858) (← links)
- (Q5111175) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)