The following pages link to La prédicativité (Q5339291):
Displaying 10 items.
- Finitely stratified polymorphism (Q1175334) (← links)
- Functions over free algebras definable in the simply typed lambda calculus (Q1314357) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Error and Predicativity (Q3195675) (← links)
- The Limits of Predicativity Revisited (Q5013901) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $ (Q5567857) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)
