Thierry Coquand

The face

The background

Nationality:

French

Branchs:

Type theory, Constructive mathematics

The synopsis