Lutz Straßburger
Scholar

Lutz Straßburger

Google Scholar ID: xSTwY3MAAAAJ
Inria
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,136
 
H-index
27
 
i10-index
60
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
Publications
2 items
Proof Identity and Categorical Models of BV
2026
Cited
0
Intuitionistic BV (Extended version)
2025
Cited
0
Resume (English only)
Co-authors
25 total
Alessio Guglielmi
Alessio Guglielmi
University of Bath
Matteo Acclavio
Matteo Acclavio
University of Sussex
Sonia Marin
Sonia Marin
Lecturer, University of Birmingham
Roman Kuznets
Roman Kuznets
Institute of Computer Science of the Czech Academy of Sciences
Willem Heijltjes
Willem Heijltjes
University of Bath
Kaustuv Chaudhuri
Kaustuv Chaudhuri
INRIA
Anupam Das
Anupam Das
University of Birmingham
Co-author 8
Co-author 8