Pages that link to "Item:Q5300901"
From MaRDI portal
The following pages link to Generalizations of Hedberg’s Theorem (Q5300901):
Displaying 6 items.
- (Q2980980) (← links)
- Partiality, Revisited (Q2988390) (← links)
- Homotopy theoretic models of identity types (Q3598111) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- Indexed type theories (Q5156767) (← links)
- Eliminating dependent pattern matching without K (Q5371975) (← links)
