Pages that link to "Item:Q5111189"
From MaRDI portal
The following pages link to Partial Elements and Recursion via Dominances in Univalent Type Theory. (Q5111189):
Displaying 7 items.
- On Church’s thesis in cubical assemblies (Q5055494) (← 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)
- Injective types in univalent mathematics (Q5156770) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
