Quantum logic in dagger kernel categories
Chris Heunen and Bart Jacobs
Details
| Crossref |
preprint available as arxiv:0902.2355 |
| Journal |
to appear in the proceedings of QPL'09 |
| Series |
Electronic Notes in Theoretical Computer Science |
| Year |
2009 |
Links
Related pages
|
People |