Pages qui pointent vers « Jean-Yves Girard »
Aller à la navigation
Aller à la recherche
Les pages ci-dessous contiennent un lien vers Jean-Yves Girard :
Affichage de 24 éléments.
- Récursivité (← liens)
- Espace préhilbertien (← liens)
- Lambda-calcul (← liens)
- Correspondance de Curry-Howard (← liens)
- Système T (← liens)
- Système F (← liens)
- Paradoxe du singe savant (← liens)
- Jean-Louis Krivine (← liens)
- Logique intuitionniste (← liens)
- Logique linéaire (← liens)
- Calcul des séquents (← liens)
- Généralisation (← liens)
- Fondements des mathématiques (← liens)
- Calcul des constructions (← liens)
- Mathématiques (← liens)
- Lambda-calcul simplement typé (← liens)
- Projet:Mathématiques/Le Thé/Archive 11 (← liens)
- Catégorie *-autonome (← liens)
- Leçons de mathématiques d'aujourd'hui (← liens)
- Théorème d'élimination des coupures (← liens)
- Règle d'introduction (logique) (← liens)
- Projet:Mathématiques/Le Thé/Archive 24 (← liens)
- Système U (mathématiques) (← liens)
- Syntaxe transcendantale (← liens)