Chargement...
Chargement...
  1. Auteur
  2. Coquand, Thierry

Livres Thierry Coquand

Auteur

Support

Série
Disponibilité

1
Résolutions libres finies : méthodes constructives
Résolutions libres finies : méthodes constructives
Auteur : Thierry Coquand
Éditeur(s) : Calvage et Mounet
Des études consacrées aux résolutions libres finies telles qu'elles ont été théorisées par Douglas Geoffrey Northcott. ©Electre 2026
25,00 €
Chargement...
La théorie des types, de Russell aux assistants à la démonstration
La théorie des types, de Russell aux assistants à la démonstration
Auteur : Thierry Coquand
Éditeur(s) : Collège de France
Synthèse de l'évolution historique et conceptuelle de la théorie des types, de ses fondements logiques posés par B. Russell jusqu'aux avancées contemporaines des types dépendants. L'auteur explore les diverses facettes de cette discipline, outil indispensable pour la...
12,00 €
Chargement...
1