Login / Signup
Frank Pfenning
ORCID
Publication Activity (10 Years)
Years Active: 1984-2024
Publications (10 Years): 57
Top Topics
Natural Deduction
Iron Ore
Linear Logic
Programming Language
Top Venues
CoRR
FSCD
ESOP
CONCUR
</>
Publications
</>