Folgen
Abraham Westerbaan
Abraham Westerbaan
Bestätigte E-Mail-Adresse bei cs.ru.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
An introduction to effectus theory
K Cho, B Jacobs, B Westerbaan, A Westerbaan
arXiv preprint arXiv:1512.05813, 2015
652015
States of Convex Sets.
B Jacobs, B Westerbaan, B Westerbaan
FoSSaCS, 87-101, 2015
332015
Quantum Programs as Kleisli Maps
A Westerbaan
arXiv preprint arXiv:1501.01020, 2014
192014
Quotient-Comprehension Chains
K Cho, B Jacobs, B Westerbaan, B Westerbaan
arXiv preprint arXiv:1511.01570, 2015
182015
A coalgebraic view of ε-transitions
A Silva, B Westerbaan
International Conference on Algebra and Coalgebra in Computer Science, 267-281, 2013
172013
The category of von Neumann algebras
AA Westerbaan
arXiv preprint arXiv:1804.02203, 2019
152019
Paschke Dilations
A Westerbaan, B Westerbaan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017
152017
An Effect-Theoretic Account of Lebesgue Integration
B Jacobs, B Westerbaan
Electronic Notes in Theoretical Computer Science 319, 239-253, 2015
152015
A universal property for sequential measurement
A Westerbaan, B Westerbaan
Journal of Mathematical Physics 57 (9), 092203, 2016
132016
Von neumann algebras form a model for the quantum lambda calculus
K Cho, A Westerbaan
arXiv preprint arXiv:1603.02133, 2016
92016
Distances between States and between Predicates
A Westerbaan, B Jacobs
Logical Methods in Computer Science 16, 2020
8*2020
Lifting adjunctions to coalgebras to (Re) Discover automata constructions
H Kerstan, B König, B Westerbaan
International Workshop on Coalgebraic Methods in Computer Science, 168-188, 2014
82014
A characterisation of ordered abstract probabilities
A Westerbaan, B Westerbaan, J van de Wetering
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
72020
The three types of normal sequential effect algebras
A Westerbaan, B Westerbaan, J van de Wetering
Quantum 4, 378, 2020
52020
Polymorphic Encryption and Pseudonymisation of IP Network Flows
A Westerbaan, L Hendriks
2020 IFIP Networking Conference (Networking), 494-498, 2020
32020
Pure maps between Euclidean Jordan Algebras
A Westerbaan, B Westerbaan, J van de Wetering
arXiv preprint arXiv:1805.11496, 2018
32018
Duplicable von Neumann Algebras
K Cho, AA Westerbaan
arXiv preprint arXiv:1903.02963, 2019
12019
Lattice valuations: A generalisation of measure and integral
AA Westerbaan
Master's thesis Radboud University, 2012
1*2012
PubHubs Identity Management
B Jacobs, B Westerbaan, O Javed, H van Stekelenburg, L Vervoort, ...
2023
Bas Westerbaan, and John van de Wetering. The three types of normal sequential effect algebras
A Westerbaan
Quantum 4, 378, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20