Scholar
Luca Paolini
Google Scholar ID: bk5vZkYAAAAJ
Associate Professor,Universita di Torino
Syntax and semantics of programming languages
Proof systems and Models of logic
Lambda Calculus and Types
Reversible and Quan
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
992
H-index
18
i10-index
34
Publications
20
Co-authors
10
list available
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
Co-authors
7 total
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino
Luca Roversi
Professor of Computer Science, Università di Torino
Maurice H. ter Beek
ISTI, CNR
Elaine Pimentel
University College London
Giulio Guerrieri
Department of Computer Science, University of Bath
Marco Gaboardi
Boston University
Silvia Ghilezan
University of Novi Sad
