Richard Blute
Prakash Panangaden
Proof Nets as Formal Feynman Diagrams
Submitted.
Ugo Dal Lago
Andrea Masini
Margherita Zorzi
2009
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science
19
2
297–335
10.1017/S096012950800741X
Vincent Danos
Laurent Regnier
1995
Proof nets and the Hilbert space
J.-Y. Girard
Y. Lafont
L. Regnier
Advances in Linear Logic
Cambridge University Press
307–328
Ross Duncan
2009
Generalised Proof-Nets for Compact Categories with Biproducts
S. Gay
I. Mackie
Semantics of Quantum Computation
Cambridge University Press
70–134
Jean-Yves Girard
1987
Linear Logic
Theoretical Computer Science
50
1
1–102
10.1016/0304-3975(87)90045-4
Jean-Yves Girard
1987
Multiplicatives
Rendiconti del Seminario Matematico dell'Università e Policlinico di Torino. Special issue on Logic and Computer Science
11–33
Jean-Yves Girard
1989
Geometry of Interaction I: Interpretation of System F
Proceedings of the Logic Colloquium '88
North Holland
221–260
Jean-Yves Girard
2004
Between logic and quantic: a tract
P. Ruet T. Ehrhard, J.-Y. Girard
P. Scott
Linear Logic in Computer Science
Cambridge University Press
346–281
Jean-Yves Girard
2011
The Blind Spot: Lectures on Logic
European Mathematical Society
Georges Gonthier
Mart\'ın Abadi
Jean-Jacques Lévy
1992
The Geometry of Optimal Lambda Reduction
19th Symposium on Principles of Programming Languages (POPL), Proceedings.
ACM Press
15–26
10.1145/143165.143172
Ichiro Hasuo
Naohiko Hoshino
2011
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
26th Symposium on Logic in Computer Science (LICS), Proceedings
IEEE
237–246
10.1109/LICS.2011.26
Peter Selinger
Beno^ıt Valiron
2006
A lambda calculus for quantum computation with classical control
Mathematical Structures in Computer Science
16
3
527–552
10.1017/S0960129506005238
Peter Selinger
Beno^ıt Valiron
2008
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
Electronic Notes in Theoretical Computer Science
210
123–137
10.1016/j.entcs.2008.04.022
André van Tonder
2004
A Lambda Calculus for Quantum Computation
SIAM J. Comput.
33
5
1109–1135
10.1137/S0097539703432165