Niels Voorneveld

Available identifiers

Publication	Date of Publication	Type
Inductive and coinductive predicate liftings for effectful programs	2024-12-17	Paper
Slice nondeterminism	2024-11-26	Paper
Protocol choice and iteration for the free cornering	2024-02-12	Paper
Runners for interleaving algebraic effects	2023-07-28	Paper
Streams of approximations, equivalence of recursive effectful programs	2023-06-30	Paper
Quantitative logics for equivalence of effectful programs	2022-04-29	Paper
Combining algebraic effect descriptions using the tensor of complete lattices	2022-04-29	Paper
Non-deterministic effects in a realizability model	2022-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q5020616	2022-01-06	Paper
Algebraic and coalgebraic perspectives on interaction laws	2021-07-08	Paper
Behavioural equivalence via modalities for algebraic effects	2019-09-13	Paper
Extensions of Scott's graph model and Kleene's second algebra	2018-01-12	Paper

This page was built for person: Niels Voorneveld