Pages that link to "Item:Q5950500"
From MaRDI portal
The following pages link to Foundations of mathematics in polymorphic type theory (Q5950500):
Displaying 7 items.
- Polynomial-time Martin-Löf type theory (Q688850) (← links)
- Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics (Q865658) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- A constructive interpretation of the full set theory (Q3772179) (← links)
- (Q4956001) (← links)
- Typed Lambda Calculi and Applications (Q5704009) (← links)