Login / Signup
Felix Jahn
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Von Neumann
Information Systems
Interactive Theorem Proving
Proof Theory
Top Venues
CPP
CSL
</>
Publications
</>
Yannick Forster
,
Felix Jahn
Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq.
CSL
(2023)
Yannick Forster
,
Felix Jahn
,
Gert Smolka
A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl).
CPP
(2023)