Programming Systems Lab: Publications by Felix Jahn

Saarland University Computer Science

Select author:

2023

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