Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, Niels Frits WillemProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, Niels Frits WillemElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS

Forward Proof Search for Intuitionistic Multimodal K LogicsVoorneveld, Niels Frits WillemAutomated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings2025 / p. 335–353 https://doi.org/10.1007/978-3-032-06085-3_18

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, Niels Frits WillemProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemProceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 Conference proceeding at Scopus Article at Scopus Article at WOS

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, Niels Frits WillemJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Runners for interleaving algebraic effectsVoorneveld, Niels Frits WillemTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 407-424 https://doi.org/10.1007/978-3-031-17715-6_26 Conference Proceedings at Scopus Article at Scopus

Slice nondeterminismVoorneveld, Niels Frits Willem4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 Conference proceeding at Scopus Article at Scopus

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS