| Автор | ABRAMSKY, SAMSON |
| Автор | DUNCAN, ROSS |
| Дата выпуска | 2006 |
| dc.description | We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes. |
| Издатель | Cambridge University Press |
| Название | A categorical quantum logic |
| DOI | 10.1017/S0960129506005275 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 16 |
| Первая страница | 469 |
| Последняя страница | 489 |
| Аффилиация | ABRAMSKY SAMSON; Oxford University Computing Laboratory |
| Аффилиация | DUNCAN ROSS; Oxford University Computing Laboratory |
| Выпуск | 3 |
