Jean-Yves Girard

The face

The background

Nationality:

French

Schools:

System F, Linear logic, Ludics

Branchs:

Proof theory, Logic

The synopsis