Scholar
Benjamin Ralph
Google Scholar ID: u7XpmhQAAAAJ
Senior Lecturer in Computer Science, University of Bath
Proof Theory
Structural Proof Theory
Deep Inference
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
33
H-index
4
i10-index
1
Publications
11
Co-authors
3
list available
Publications
1 items
Proof Compression via Subatomic Logic and Guarded Substitutions
2025
Cited
0
Co-authors
2 total
Alessio Guglielmi
University of Bath
Lutz Straßburger
Inria
