Niels Voorneveld

| About | Research | Other |


Theses:

Bachelor's thesis:
Diophantine representations of recursive enumerable sets, [link].

Master's thesis:
On constructions of partial combinatory algebras and their relation to topology, [link].

List of publications:

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].

Niels Voorneveld:
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].

Niels Voorneveld:
Quantitative Logics for Equivalence of Effectful Programs,
MFPS XXXV, 14 pages, [MFPS accepted papers] [preprint].