Publications
Here you can find a list of my publications.
Here you can find a list of my publications.
2022
2022
Extensionality for obligations in Åqvist’s system F
Dominik Pichler
Diploma Thesis, Technische Universität Wien, October 2022 [Link]
Main Advisor: Agata Ciabattoni, Co-Advisor: Xavier Parent
2019
2019
Die Stone–Čech-Kompaktifizierung der natürlichen Zahlen
Dominik Pichler
Bachelor Thesis, Technische Universität Wien, February 2019 [Link]
Advisor: Harald Woracek
(Only avaliable in German)