Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs.

Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong

Browse the full LICS paper archive.