Strongly compact closed semantics
<p>These lecture notes survey some joint work with Samson Abramsky as it was presented by me at Mathematical Foundations of Programming Semantics XXI in Birmingham (2005).<sup>2</sup> It concerns a categorical semantics for quantum mechanics introduced in [Abramsky, S. and Coecke,...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2006
|
| Subjects: |