Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Thierry Coquand

Thierry Coquand

at_id:

orcid_id:

Disciplines:

Applied sciences
Edit Merge See Links

Directed Thesis:

Sequents qu'on calcule : de l'interpretation du calcul des sequents comme calcul de lambda-termes et comme calcul de strategies gagnantes