Pages that link to "Item:Q813417"

The following pages link to The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417):

Displaying 4 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)