Bram Westerbaan
From MaRDI portal
Person:2848954
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 |
|---|---|---|
| Quotient-comprehension chains | 2021-12-06 | Paper |
| Quotient-comprehension chains (available as arXiv preprint) | 2021-12-06 | Paper |
| Statman's hierarchy theorem (available as arXiv preprint) | 2017-12-11 | Paper |
| An effect-theoretic account of Lebesgue integration Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
| States of convex sets Lecture Notes in Computer Science | 2015-10-01 | Paper |
| Lifting adjunctions to coalgebras to (re)discover automata constructions Advanced Information Systems Engineering | 2015-09-11 | Paper |
| A coalgebraic view of \(\varepsilon \)-transitions Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Research outcomes over time
This page was built for person: Bram Westerbaan
