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
612015
States of Convex Sets.
B Jacobs, B Westerbaan, B Westerbaan
FoSSaCS, 87-101, 2015
322015
Quotient-Comprehension Chains
K Cho, B Jacobs, B Westerbaan, B Westerbaan
arXiv preprint arXiv:1511.01570, 2015
182015
Quantum Programs as Kleisli Maps
A Westerbaan
arXiv preprint arXiv:1501.01020, 2014
172014
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
162019
Paschke Dilations
A Westerbaan, B Westerbaan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017
142017
An Effect-Theoretic Account of Lebesgue Integration
B Jacobs, B Westerbaan
Electronic Notes in Theoretical Computer Science 319, 239-253, 2015
132015
A universal property for sequential measurement
A Westerbaan, B Westerbaan
Journal of Mathematical Physics 57 (9), 092203, 2016
122016
Von neumann algebras form a model for the quantum lambda calculus
K Cho, A Westerbaan
arXiv preprint arXiv:1603.02133, 2016
92016
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
72014
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
62020
Distances between States and between Predicates
A Westerbaan, B Jacobs
Logical Methods in Computer Science 16, 2020
6*2020
The three types of normal sequential effect algebras
A Westerbaan, B Westerbaan, J van de Wetering
Quantum 4, 378, 2020
32020
Pure maps between Euclidean Jordan Algebras
A Westerbaan, B Westerbaan, J van de Wetering
arXiv preprint arXiv:1805.11496, 2018
32018
Polymorphic Encryption and Pseudonymisation of IP Network Flows
A Westerbaan, L Hendriks
2020 IFIP Networking Conference (Networking), 494-498, 2020
22020
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
Sign in finite fields
A Westerbaan, B Westerbaan
Cryptology ePrint Archive, 2020
2020
Statman's Hierarchy Theorem
H Barendregt, R Viehoff, C Tankink, R Kuyper, B Westerbaan, ...
Logical Methods in Computer Science 13, 2017
2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20