Luca Paolini
Scholar

Luca Paolini

Google Scholar ID: bk5vZkYAAAAJ
Associate Professor,Universita di Torino
Syntax and semantics of programming languagesProof systems and Models of logicLambda Calculus and TypesReversible and Quan
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
992
 
H-index
18
 
i10-index
34
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
2 items
Learning Foundations Beneath the Stars
2026
Cited
0
A Core Calculus for Type-safe Product Lines of C Programs
2026
Cited
0
Resume (English only)
Co-authors
10 total
Ferruccio Damiani
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino
Luca Roversi
Luca Roversi
Professor of Computer Science, Università di Torino
Co-author 3
Co-author 3
Maurice H. ter Beek
Maurice H. ter Beek
ISTI, CNR
Elaine Pimentel
Elaine Pimentel
University College London
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Giulio Guerrieri
Giulio Guerrieri
Department of Computer Science, University of Bath