Niels Voorneveld

| About | Research | Other |


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

List of publications:

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