Doctoral thesis: Equality between programs with effects, University of Ljubljana, 2019 [link].
Master's thesis: On constructions of partial combinatory algebras and their relation to topology, University of Utrecht, 2015 [link].
Bachelor's thesis: Diophantine representations of recursive enumerable sets, University of Utrecht, 2013 [link].
Niels Voorneveld: Combining Algebraic Effect Descriptions using the Tensor of Complete Lattices, 36th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2020, to appear in ENTCS [slides] [draft]
Niels Voorneveld: From equations to distinctions: Two interpretations of effectful computations, MSFP 2020, Electronic Proceedings in Theoretical Computer Science, volume 317, 2020 [link]
Niels Voorneveld: Quantitative Logics for Equivalence of Effectful Programs, MFPS XXXV, Electronic Notes in Theoretical Computer Science, volume 347, 2019 [link]
Alex Simpson and Niels Voorneveld:
Behavioural Equivalence via Modalities for Algebraic Effects, ACM TOPLAS, January 2020, Article No. 4 [link] [preprint].
Conference version, ESOP 2018, April 2018, Pages 300-326, [link].
Niels Voorneveld: Non-deterministic Effects in a Realizability Model, ENTCS, Volume 336, April 2018, Pages 299-314, [link].
Jaap van Oosten and Niels Voorneveld: Extensions of Scott's Graph Model and Kleene's Second Algebra, Indagationes Mathematicae, Volume 29, Issue 1, February 2018, Pages 5-22, [preprint].