thinker
active
thinker:jean-yves-girard

Jean-Yves Girard

Introduced linear logic and Geometry of Interaction.

Authored
0
Introduces
0
Studies
0
Affiliations
0
Cited by
0

More papers — OpenAlex / S2

Recent mentions (1)