Felix Jahn - POPL 2023 (original) (raw)

POPL 2023 (series) / Felix Jahn

• conf.research.org general profile

Not registered as user

Name:Felix Jahn

Affiliation:Saarland University

Contributions

2023

CPP

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

Show activities from other conferences

Share

POPL 2023-profile
View general profile