Diophantine representations of recursive enumerable sets, [link].
On constructions of partial combinatory algebras and their relation to topology, [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].
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, submitted to ACM TOPLAS, [preprint].