Niels Voorneveld

zbMath Openvoorneveld.niels-f-wMaRDI QIDQ1688947

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
Runners for interleaving algebraic effects Lecture Notes in Computer Science	2023-07-28	Paper
Streams of approximations, equivalence of recursive effectful programs Lecture Notes in Computer Science	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
scientific article; zbMATH DE number 7453165 (Why is no real title available?)	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 Indagationes Mathematicae. New Series	2018-01-12	Paper

Research outcomes over time

This page was built for person: Niels Voorneveld