List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| doctoralThesis | 2021 | Computability in constructive type theory | Forster, Yannick | |
| article | 2020 | The weak call-by-value λ-calculus is reasonable for both time and space | Forster, Yannick; Kunze, Fabian; Roth, Marc |
Welcome
| ORCID: |  https://orcid.org/0000-0002-8676-9819 |
| Name: | Forster, Yannick |
| Faculty: | MI - Fakultät für Mathematik und Informatik |
| Department: | MI - Informatik |
| Professorship: | MI - Prof. Dr. Gert Smolka |
| Display style: |