Non-deterministic Effects in a Realizability Model. - Niels F. W. Voorneveld (MFPS, 2018)

Quantitative Logics for Equivalence of Effectful Programs. - Niels F. W. Voorneveld (MFPS, 2019)

Algebraic and Coalgebraic Perspectives on Interaction Laws. - Tarmo Uustalu; Niels F. W. Voorneveld (APLAS, 2020)

Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. - Niels F. W. Voorneveld (MFPS, 2020)

From Equations to Distinctions: Two Interpretations of Effectful Computations. - Niels F. W. Voorneveld (MSFP@ETAPS, 2020)

Behavioural Equivalence via Modalities for Algebraic Effects. - Alex Simpson; Niels F. W. Voorneveld (ACM Trans. Program. Lang. Syst., 2020)

Inductive and Coinductive Predicate Liftings for Effectful Programs. - Niccolò Veltri; Niels F. W. Voorneveld (MFPS, 2021)

Runners for Interleaving Algebraic Effects. - Niels F. W. Voorneveld (ICTAC, 2022)

Streams of Approximations, Equivalence of Recursive Effectful Programs. - Niccolò Veltri; Niels F. W. Voorneveld (MPC, 2022)

Slice Nondeterminism. - Niels F. W. Voorneveld (ITP, 2023)

Protocol choice and iteration for the free cornering. - Chad Nester; Niels F. W. Voorneveld (J. Log. Algebraic Methods Program., 2024)