logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Jonas Kastberg Hinrichsen

aalborg university

6H-index
16Paper Count
110Citation Count
Published Papers 1
Publication Date
logo
Building Blocks for Step-Indexed Program Logics
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errSomers, Thomas; Hinrichsen, Jonas Kastberg; Gaeher, Lennard; Krebbers, Robbert
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Robbert Krebbers
H-index: 25 · Papers: 84
L
Lennard Gäher
H-index: 5 · Papers: 12
T
Thomas Somers
H-index: 1 · Papers: 2
All loaded