T. Coquand

Une théorie des constructions

T. Coquand, 1985 .

Treillis distributifs et espaces spectraux, un petit dictionnaire

T. Coquand, 2020 .

Dimension de Heitmann des treillis distributifs et des anneaux commutatifs

T. Coquand, H. Lombardi, Claude Quitt'e, 2017, 1712.01958.

Herbrand et le programme de Hilbert

T. Coquand, 2008 .

Anneaux à diviseurs et anneaux de Krull (une approche constructive)

T. Coquand, H. Lombardi, 2015, 1507.02880.

A C ] 9 A pr 2 01 8 Constructions cachées en algèbre abstraite Dimension de Krull , Going Up , Going Down

T. Coquand, 2018 .

Concepts mathématiques et informatiques formalisés dans le calcul des constructions

Thierry Coquand, Gérard P. Huet, T. Coquand, 1985, Logic Colloquium.