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].
Tarmo Uustalu and N.V.: Algebraic and coalgebraic perspectives on interaction laws, Proc. of 18th Asian Symp. on Programming Languages and Systems, APLAS 2020, to appear in LNCS [conference link]
N.V.: 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]
N.V.: Quantitative Logics for Equivalence of Effectful Programs, MFPS XXXV, Electronic Notes in Theoretical Computer Science, volume 347, 2019 [link]
Alex Simpson and N.V.:
Behavioural Equivalence via Modalities for Algebraic Effects,
ACM TOPLAS, January 2020, Article No. 4
Conference version, ESOP 2018, April 2018, Pages 300-326, [link].
N.V.: Non-deterministic Effects in a Realizability Model, ENTCS, Volume 336, April 2018, Pages 299-314, [link].
Jaap van Oosten and N.V.: Extensions of Scott's Graph Model and Kleene's Second Algebra, Indagationes Mathematicae, Volume 29, Issue 1, February 2018, Pages 5-22, [preprint].