Diophantine representations of recursive enumerable sets, [link].
On constructions of partial combinatory algebras and their relation to topology, [link].
Equality between programs with effects, [to appear].
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].
Non-deterministic Effects in a Realizability Model,
ENTCS, Volume 336, April 2018, Pages 299-314, [link].
Alex Simpson and Niels Voorneveld:
Behavioural Equivalence via Modalities for Algebraic Effects,
Conference version, ESOP 2018, April 2018, Pages 300-326, [link].
Extended journal version, ACM TOPLAS, November 2019, Article No. 4 [link] [preprint].
Quantitative Logics for Equivalence of Effectful Programs,
MFPS XXXV, Electronic Notes in Theoretical Computer Science, volume 347, 2019 [link]