• Sign in
  • Sign up
conf.researchr.org / Felix Jahn
  • POPL 2023 profile
No Photo

Not registered as user

Name:Felix Jahn
Affiliation:Saarland University

Contributions

2023

CPP

  • Author of A Computational Cantor-Bernstein and Myhill’s Isomorphism Theorem in Constructive Type Theory (Proof Pearl) within the CPP 2023-track
Share
xMon 19 May 04:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up