Coquand, Thierry books & textbook
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Coquand, Thierry Dybjer, Peter Nordström, Bengt Smith, Jan
Springer /2000-12-13 Paperback / 212 Pages
isbn-10: 3540415173 / isbn-13: 9783540415176
Résolutions libres finies: Méthodes constructives
COQUAND, Thierry Lombardi, Henri Quitté, Claude
CALVAGE MOUNET /2024-06-20 Paperback / 264 Pages
isbn-10: 2493230132 / isbn-13: 9782493230133
