Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jean-Yves Girard
Jean-Yves Girard
at_id:
orcid_id:
Disciplines:
Mathematics
Medicine and health
Edit
Merge
See Links
Thesis:
Contribution a l'etude de la vascularisation de la tete radiale
Directed Thesis:
Sur les épreuves et les types dans la logique du second ordre
Sur le semi anneau de résolution
Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité
Logique lineaire indéxée du second ordre
Etude de la polarisation en logique
Execution et programmes
Reseaux et sequents ordonnes
Lambda-calcul et reseaux
Structure des logiques et logique des structures. Logiques, categories, esquisses
La Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul)