1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 1 cited
The dagger lambda calculus
Philip Atzemoglou
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our constructi…
cs.LO2013★ 1 cited
Higher-order semantics for quantum programming languages with classical control
Philip Atzemoglou
This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the…