Applicative Bisimulation and Quantum λ-Calculi. - Ugo Dal Lago; Alessandro Rioli (FSEN, 2015)

Applicative Bisimulation and Quantum λ-Calculi (Long Version). - Ugo Dal Lago; Alessandro Rioli (CoRR, 2015)

Coinductive Techniques on a Linear Quantum λ-Calculus. - Alessandro Rioli (2016)