Théorie des types et mathématiques constructives
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
By Alain Herreman
By Marie-Françoise Roy
By Henri Lombardi
By Frédéric Brechenmacher