Pages that link to "Item:Q5300901"
From MaRDI portal
The following pages link to Generalizations of Hedberg’s Theorem (Q5300901):
Displaying 7 items.
- Proof of the H-theorem for isolated binary gas-photon gas mixtures (Q751415) (← links)
- Notions of anonymous existence in Martin-Löf type theory (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)