Scholar
Giulio Manzonetto
Google Scholar ID: DuRCHtcAAAAJ
Université Paris Cité
Theoretical Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,076
H-index
19
i10-index
29
Publications
20
Co-authors
14
list available
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
Co-authors
7 total
Thomas Ehrhard
CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)
Antonino Salibra
Università Ca'Foscari Venezia
Michele Pagani
Professor of Computer Science, ENS de Lyon
Alejandro Díaz-Caro
Inria-Mocqua, LORIA (France) & Universidad Nacional de Quilmes (Argentina)
Giulio Guerrieri
Department of Computer Science, University of Bath
Jakob Grue Simonsen
IT University of Copenhagen
Federico Olimpieri
Aix-Marseille University
