Skip to main content

Dagger linear logic for categorical quantum mechanics

Robin Cockett‚ Cole Comfort and Priyaa Srinivasan

Year
2018