The following pages link to Paolo Torrini (Q2829275):
Displayed 7 items.
- Modular Dependent Induction in Coq, Mendler-Style (Q2829276) (← links)
- Linear Types and Locality (Q2937688) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- Graph Transformation for Domain-Specific Discrete Event Time Simulation (Q4931320) (← links)
- (Q5014449) (← links)
- (Q5150077) (← links)
- (Q5150149) (← links)