Niels Voorneveld

| About | Research | Other |


Theses:

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:

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.: From equations to distinctions: Two interpretations of effectful computations, MSFP 2020, Electronic Proceedings in Theoretical Computer Science, volume 317, 2020 [link] [more examples]

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 [link] [preprint].
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].