Ruben Turkenburg
From MaRDI portal
Person:2104482
Available identifiers
zbMath Open turkenburg.rubenMaRDI QIDQ2104482
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 |
|---|---|---|
| A categorical approach to coalgebraic fixpoint logic | 2025-01-20 | Paper |
| Proving behavioural apartness | 2025-01-20 | Paper |
| Forward and backward steps in a fibration | 2024-11-26 | Paper |
| Preservation and reflection of bisimilarity via invertible steps | 2023-11-24 | Paper |
| Corecursion up-to via causal transformations | 2022-12-07 | Paper |
Research outcomes over time
This page was built for person: Ruben Turkenburg
