Bram Westerbaan
From MaRDI portal
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 (available as arXiv preprint) | 2021-12-06 | Paper |
| Quotient-comprehension chains | 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 -transitions Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Research outcomes over time
This page was built for person: Bram Westerbaan
