Scholar

Benjamin Ralph

Google Scholar ID: u7XpmhQAAAAJ

Senior Lecturer in Computer Science, University of Bath

Proof TheoryStructural Proof TheoryDeep Inference

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

33

H-index

4

i10-index

1

Publications

11

Co-authors

3

list available

Contact

No contact links provided.

Publications

1 items

Proof Compression via Subatomic Logic and Guarded Substitutions

2025

Cited

0

Resume (English only)

Co-authors

3 total

Alessio Guglielmi

University of Bath

Lutz Straßburger