Felix Jahn

According to our database, Felix Jahn authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq.

Yannick Forster, Felix Jahn

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl).

Yannick Forster, Felix Jahn, Gert Smolka

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023