Bram Westerbaan

According to our database, Bram Westerbaan authored at least 19 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

PubHubs identity management.

Bart Jacobs, Bram Westerbaan, Omar Javed, Harm van Stekelenburg, Lian Vervoort, Jan den Besten

J. Log. Comput., 2024

2020

The three types of normal sequential effect algebras.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Quantum, 2020

Distances between States and between Predicates.

Bart Jacobs, Abraham Westerbaan

Log. Methods Comput. Sci., 2020

Sign in finite fields.

Abraham Westerbaan, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2020

Polymorphic Encryption and Pseudonymisation of IP Network Flows.

Abraham Westerbaan, Luuk Hendriks

Proceedings of the 2020 IFIP Networking Conference, 2020

A characterisation of ordered abstract probabilities.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

A characterization of ordered abstract probabilities.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

CoRR, 2019

2018

Pure Maps between Euclidean Jordan Algebras.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

The Category of von Neumann Algebras.

Abraham Westerbaan

CoRR, 2018

2017

Statman's Hierarchy Theorem.

Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt

Log. Methods Comput. Sci., 2017

2016

Paschke Dilations.

Abraham Westerbaan, Bas Westerbaan

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Quantum Programs as Kleisli Maps.

Abraham Westerbaan

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Von Neumann Algebras form a Model for the Quantum Lambda Calculus.

Kenta Cho, Abraham Westerbaan

CoRR, 2016

2015

An Effect-Theoretic Account of Lebesgue Integration.

Bart Jacobs, Bram Westerbaan

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Quotient-Comprehension Chains.

Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

An Introduction to Effectus Theory.

Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan

CoRR, 2015

States of Convex Sets.

Bart Jacobs, Bas Westerbaan, Bram Westerbaan

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.

Henning Kerstan, Barbara König, Bram Westerbaan

Proceedings of the Coalgebraic Methods in Computer Science, 2014

2013

A Coalgebraic View of ε-Transitions.

Alexandra Silva, Bram Westerbaan

Proceedings of the Algebra and Coalgebra in Computer Science, 2013