2 papers
cs.PL2024
Game Semantics for Higher-Order Unitary Quantum Computation
Samson Abramsky, Radha Jagadeesan
We develop a symmetric monoidal closed category of games, incorporating sums and products, to model quantum computation at higher types. This model is expressive, capable of repres…
cs.LO2024
(Towards a) Statistical Probabilistic Lazy Lambda Calculus
Radha Jagadeesan
We study the desiderata on a model for statistical probabilistic programming languages. We argue that they can be met by a combination of traditional tools, namely open bisimulatio…