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
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)