List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| doctoralThesis | 2019 | Mechanising syntax with binders in Coq | Stark, Kathrin |
Welcome
| Name: | Stark, Kathrin |
| Faculty: | - |
| Department: | - |
| Professorship: | - |
| Display style: |