Niels F. W. Voorneveld

21 papers A 1B 9C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Simple Categorical Calculus of Interacting Processes.
CoRR
Chad Nester, Niels F. W. Voorneveld
2026 J jnl
Modal Logic for Distributed Trust.
CoRR
Niels F. W. Voorneveld, Peeter Laud
2026 B conf
Parametric Iteration in Resource Theories.
CSL
Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld
2025 B conf
Forward Proof Search for Intuitionistic Multimodal K Logics.
TABLEAUX
Niels F. W. Voorneveld
2025 J jnl
Parametric Iteration in Resource Theories.
CoRR
Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld
2025 — conf
Threshold Trust Logic.
NordSec
Niels F. W. Voorneveld
2024 J jnl
Protocol choice and iteration for the free cornering.
J. Log. Algebraic Methods Program.
Chad Nester, Niels F. W. Voorneveld
2023 J jnl
Protocol Choice and Iteration for the Free Cornering.
CoRR
Chad Nester, Niels F. W. Voorneveld
2023 B conf
Slice Nondeterminism.
ITP
Niels F. W. Voorneveld
2022 C conf
Runners for Interleaving Algebraic Effects.
ICTAC
Niels F. W. Voorneveld
2022 B conf
Streams of Approximations, Equivalence of Recursive Effectful Programs.
MPC
Niccolò Veltri, Niels F. W. Voorneveld
2021 B conf
Inductive and Coinductive Predicate Liftings for Effectful Programs.
MFPS
Niccolò Veltri, Niels F. W. Voorneveld
2020 B conf
Algebraic and Coalgebraic Perspectives on Interaction Laws.
APLAS
Tarmo Uustalu, Niels F. W. Voorneveld
2020 J jnl
Behavioural Equivalence via Modalities for Algebraic Effects.
ACM Trans. Program. Lang. Syst.
Alex Simpson, Niels F. W. Voorneveld
2020 B conf
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices.
MFPS
Niels F. W. Voorneveld
2020 — conf
From Equations to Distinctions: Two Interpretations of Effectful Computations.
MSFP@ETAPS
Niels F. W. Voorneveld
2019 J jnl
Behavioural Equivalence via Modalities for Algebraic Effects.
CoRR
Alex Simpson, Niels F. W. Voorneveld
2019 J jnl
Quantitative Logics for Equivalence of Effectful Programs.
CoRR
Niels F. W. Voorneveld
2019 B conf
Quantitative Logics for Equivalence of Effectful Programs.
MFPS
Niels F. W. Voorneveld
2018 A conf
Behavioural Equivalence via Modalities for Algebraic Effects.
ESOP
Alex Simpson, Niels F. W. Voorneveld
2018 B conf
Non-deterministic Effects in a Realizability Model.
MFPS
Niels F. W. Voorneveld