Pages that link to "Item:Q813417"
From MaRDI portal
The following pages link to The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417):
Displaying 7 items.
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Error and Predicativity (Q3195675) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
