Between logic and quantic: a tract (2003)
by
Jean-Yves Girard
| Venue: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
| Citations: | 14 - 1 self |
BibTeX
@TECHREPORT{Girard03betweenlogic,
author = {Jean-Yves Girard},
title = {Between logic and quantic: a tract},
institution = {MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a quantum interpretation of the perfect part of linear logic, by means of quantum coherent spaces. In particular this yields a novel interpretation of the reduction of the wave packet as the expression of η-conversion, a.k.a, extensionality.
Citations
| 201 | Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991 |
| 142 | logic: Its syntax and semantics - Linear - 1993 |
| 91 | Geometry of Interaction I: interpretation of system F - Girard - 1989 |
| 55 | Hypercoherences: a strongly stable model of linear logic - Ehrhard - 1993 |
| 38 | A lambda calculus for quantum computation - Tonder |
| 23 | On Köthe sequence spaces and linear logic - Ehrhard - 2002 |
| 14 | Coherent Banach spaces: a continuous denotational semantics - Girard - 1996 |
| 12 | Mixed-state entanglement and quantum communication. In Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments - Horodecki, Horodecki, et al. - 2001 |
| 9 | Normal functors, power series and λ-calculus - Girard - 1988 |
| 5 | Towards a quantum computing language - Selinger - 2003 |
| 4 | Quantitative semantics revisited (extended abstract - Barreiro, Ehrhard - 1999 |
