Niels F. W. Voorneveld

According to our database, Niels F. W. Voorneveld authored at least 16 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Modal Logic for Distributed Trust.

Niels F. W. Voorneveld, Peeter Laud

CoRR, March, 2026

A Simple Categorical Calculus of Interacting Processes.

Chad Nester, Niels F. W. Voorneveld

CoRR, March, 2026

Parametric Iteration in Resource Theories.

Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Forward Proof Search for Intuitionistic Multimodal K Logics.

Niels F. W. Voorneveld

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

Threshold Trust Logic.

Niels F. W. Voorneveld

Proceedings of the Secure IT Systems, 2025

2024

Protocol choice and iteration for the free cornering.

Chad Nester, Niels F. W. Voorneveld

J. Log. Algebraic Methods Program., February, 2024

2023

Slice Nondeterminism.

Niels F. W. Voorneveld

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Streams of Approximations, Equivalence of Recursive Effectful Programs.

Niccolò Veltri, Niels F. W. Voorneveld

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Runners for Interleaving Algebraic Effects.

Niels F. W. Voorneveld

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Inductive and Coinductive Predicate Liftings for Effectful Programs.

Niccolò Veltri, Niels F. W. Voorneveld

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020

From Equations to Distinctions: Two Interpretations of Effectful Computations.

Niels F. W. Voorneveld

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices.

Niels F. W. Voorneveld

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Algebraic and Coalgebraic Perspectives on Interaction Laws.

Tarmo Uustalu, Niels F. W. Voorneveld

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Quantitative Logics for Equivalence of Effectful Programs.

Niels F. W. Voorneveld

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2018

Non-deterministic Effects in a Realizability Model.

Niels F. W. Voorneveld

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Behavioural Equivalence via Modalities for Algebraic Effects.

Alex Simpson, Niels F. W. Voorneveld

Proceedings of the Programming Languages and Systems, 2018