MoL-2017-07: Hornischer, Levin (2017) Hyperintensionality and Synonymy. [Report]
DS-2021-10: Hornischer, Levin (2021) Dynamical Systems via Domains: Toward a Unified Foundation of Symbolic and Non-symbolic Computation. Doctoral thesis, University of Amsterdam.