A categorical semantics of quantum protocols

被引：298

作者：

Abramsky, S ^{[1
]}

Coecke, B ^{[1
]}

机构：

[1] Univ Oxford, Comp Lab, Oxford OX1 3QD, England

来源：

19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/LICS.2004.1319636

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：415 / 425

页数：11

共 28 条

[1] Nuclear and trace ideals in tensored *-categories [J].

Abramsky, S ;

Blute, R ;

Panangaden, P .

JOURNAL OF PURE AND APPLIED ALGEBRA, 1999, 143 (1-3) :3-47

[2]

Abramsky S., 1995, NATO ASI SERIES F, P35

[3]

Abramsky S., 2004, ARXIVQUANTPH0402130

[4]

ABRAMSKY S, 2003, ELECT NOTES THEORETI, V69

[5]

[Anonymous], 1972, COHERENCE CATEGORIES

[6]

ARR M, 1979, LECT NOTES MATH, V752

[7] TELEPORTING AN UNKNOWN QUANTUM STATE VIA DUAL CLASSICAL AND EINSTEIN-PODOLSKY-ROSEN CHANNELS [J].

BENNETT, CH ;

BRASSARD, G ;

CREPEAU, C ;

JOZSA, R ;

PERES, A ;

WOOTTERS, WK .

PHYSICAL REVIEW LETTERS, 1993, 70 (13) :1895-1899

[8] The logic of quantum mechanics [J].

Birkhoff, G ;

von Neumann, J .

ANNALS OF MATHEMATICS, 1936, 37 :823-843

[9]

BOUWMEESTER D, 2001, PHYS QUANTUM INFORMA

[10]

Deligne P., 1990, PROGR MATH, V87, P111

← 1 2 3 →