Niels Voorneveld

Available identifiers

zbMath Open voorneveld.niels-f-wMaRDI QIDQ1688947

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Niels Voorneveld