Programming Systems Lab: Publications by Felix Jahn

Saarland University Computer Science

Select author:


A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory   (pdf)
Yannick Forster, Felix Jahn, Gert Smolka
CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Login to edit

Legal notice, Privacy policy