Graph explorer

Frank Pfenning

Frank Pfenning contributes to research discovery and scholarly infrastructure.

6 nodes5 linksoverview previewFrank Pfenning
6 nodes5 links
Frank Pfenning6 visible / 6 total nodes / 5 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAFrank PfenningResearcherWStrong Progress for Ses...preprint / 2021WSession Types with Arit...preprint / 2020WSession Types with Arit...preprint / 2020WA Linear Logic Programm...preprint / 2014WPolarized Subtypingpreprint / 2022
PersonSignal 105 links

Frank Pfenning

Researcher

Open