The following pages link to (Q2980980):
Displaying 7 items.
- Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- (Q2980980) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- Extensional constructive real analysis via locators (Q5156769) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- Univalent categories of modules (Q6149909) (← links)
