The following pages link to La prédicativité (Q5339291):
Displayed 4 items.
- Finitely stratified polymorphism (Q1175334) (← links)
- Functions over free algebras definable in the simply typed lambda calculus (Q1314357) (← 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)