Equivalence of algebraic λ-calculi
Slides QuAND 2011
slides.pdf
Quantum computing, non-determinism, probabilistic systems... and the logic behind