Scholar
Philippe de Groote
Google Scholar ID: UOv3ZvoAAAAJ
Directeur de Recherche, Inria, France
Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,041
H-index
21
i10-index
32
Publications
20
Co-authors
6
list available
Publications
1 items
A Typing System for the Linear Lambda-Calculus in de Bruijn Notation
2026
Cited
0
Co-authors
1 total
Ryo Yoshinaka
Tohoku University
