Giulio Manzonetto
Scholar

Giulio Manzonetto

Google Scholar ID: DuRCHtcAAAAJ
Université Paris Cité
Theoretical Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,076
 
H-index
19
 
i10-index
29
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
3 items
Groups and Inverse Semigroups in Lambda Calculus
2026
Cited
0
Ohana trees and Taylor expansion for the $lambda$I-calculus. No variable gets left behind or forgotten!
2025
Cited
0
A Fully Abstract Model of PCF Based on Extended Addressing Machines
2023
Cited
0
Resume (English only)
Co-authors
14 total
Thomas Ehrhard
Thomas Ehrhard
CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)
Antonino Salibra
Antonino Salibra
Università Ca'Foscari Venezia
Michele Pagani
Michele Pagani
Professor of Computer Science, ENS de Lyon
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Alejandro Díaz-Caro
Alejandro Díaz-Caro
Inria-Mocqua, LORIA (France) & Universidad Nacional de Quilmes (Argentina)