Utilisateur·rice
Jean-Yves • GIRARD
Directeur de Recherche Émérite (DREM) • Affiliation : Centre National Recherche Scientifique (CNRS)
Site : Luminy • Bureau : 226 • Etage du bureau : 2 •
AGLR-LDP (équipe Logique de la Programmation)
Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques :
- Logique
Publications HAL
2017/06 Mathematical Structures in Computer Science – Transcendental syntax I: deterministic case2015/11 – Transcendental syntax 2: non deterministic case
2012/01 – Normativity in Logic
2011/09 – The blind spot
2011/04 Theoretical Computer Science – Geometry of Interaction V: Logic in the hyperfinite factor
1991/01 – On the unity of logic
1991/01 – A New constructive logic : classical logic
1985/01 Archive for Mathematical Logic – Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs
1984/01 Journal of Symboloic Logic – Functors and ordinal notations II : a functorial construction of the Bachmann hierarchy
1984/01 The Journal of Symbolic Logic – Functors and ordinal notations I : a functorial construction of the Veblen hierarchy
1983/01 – Five Conferences on Undecidability
