The following pages link to Partiality, Revisited (Q2988390):
Displayed 13 items.
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Partiality, Revisited (Q2988390) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- (Q4968384) (← links)
- (Q4989403) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Partiality and Container Monads (Q5056003) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Higher Structures in Homotopy Type Theory (Q6075425) (← links)
- Streams of approximations, equivalence of recursive effectful programs (Q6109211) (← links)
- Two-level type theory and applications (Q6149950) (← links)