16 citations · 71 across the 15 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 3 cited
Statman's Hierarchy Theorem
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper +3
In the Simply Typed -calculus Statman investigates the reducibility relation between types: for , types freely generated using an…
quant-ph2017★ 4 cited
Picture-perfect Quantum Key Distribution
Aleks Kissinger, Sean Tull, Bas Westerbaan
We provide a new way to bound the security of quantum key distribution using only two high-level, diagrammatic features of quantum processes: the compositional behavior of compleme…