Report - Dagger Traced Symmetric Monoidal Categories and Reversible ...parametricity.net/dropbox/rc-slides.subc.pdf · William J. Bowman, Roshan P. James, Amr Sabry 27th June, 2011 William

Please pass captcha verification before submit form