Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
A categorical quantum logic
Beteiligte:
ABRAMSKY, SAMSON;
DUNCAN, ROSS
Erschienen:
Cambridge University Press (CUP), 2006
Erschienen in:
Mathematical Structures in Computer Science, 16 (2006) 3, Seite 469-489
Sprache:
Englisch
DOI:
10.1017/s0960129506005275
ISSN:
1469-8072;
0960-1295
Entstehung:
Anmerkungen:
Beschreibung:
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.