The following pages link to (Q2757819):
Displaying 6 items.
- On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types (Q3010338) (← links)
- Extensional and Intensional Semantic Universes (Q5145281) (← links)
- Computer Science Logic (Q5311260) (← links)
- (Q5472892) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)
- Is Impredicativity Implicitly Implicit (Q6079240) (← links)