Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
T
Thomas Somers
Radboud University Nijmegen
1
H-index
2
Paper Count
2
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Building Blocks for Step-Indexed Program Logics
PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF
0
2026-01-01
0
PRE
AI
Somers, Thomas; Hinrichsen, Jonas Kastberg; Gaeher, Lennard; Krebbers, Robbert
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
R
Robbert Krebbers
H-index: 25 · Papers: 84
J
Jonas Kastberg Hinrichsen
H-index: 6 · Papers: 16
L
Lennard Gäher
H-index: 5 · Papers: 12
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}