2 citations · 2 across the 3 of their papers we have counts for
5 papers
A characterisation of ordered abstract probabilities
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
In computer science, especially when dealing with quantum computing or other non-standard models of computation, basic notions in probability theory like "a predicate" vary wildly.…
Polymorphic Encryption and Pseudonymisation of IP Network Flows
Abraham Westerbaan, Luuk Hendriks
We describe a system, PEP3, for storage and retrieval of IP flow information in which the IP addresses are replaced by pseudonyms. Every eligible party gets its own set of pseudony…
Lattice Valuations: a Generalisation of Measure and Integral
Abraham A. Westerbaan
Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions o…
Duplicable von Neumann Algebras
Kenta Cho, Abraham A. Westerbaan
Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the dup…
Von Neumann Algebras form a Model for the Quantum Lambda Calculus
Kenta Cho, Abraham Westerbaan
We present a model of Selinger and Valiron's quantum lambda calculus based on von Neumann algebras, and show that the model is adequate with respect to the operational semantics.