Fetching the paper…
Reading the bibliography…
In physics, Feynman diagrams are used to reason about quantum processes.
K. Gödel, Zur intuitionistischen Arithmetik und Zahlentheorie, Ergebnisse eines mathematischen Kolloquiums
1933
Earlier work this paper cites.
A. Church, An unsolvable problem of elementary number theory, Amer. Jour. Math
1936
Earlier work this paper cites.
S. Kleene, λ \lambda -definability and recursiveness, Duke Math. Jour
1936
Earlier work this paper cites.
S. Eilenberg and S. Mac Lane, General theory of natural equivalences, Trans. Amer. Math. Soc
1945
Earlier work this paper cites.
J. McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Comm. ACM
1960
Earlier work this paper cites.
F. W. Lawvere, Functorial Semantics of Algebraic Theories
1963
Earlier work this paper cites.
S. Mac Lane, Natural associativity and commutativity, Rice Univ. Stud
1963
Earlier work this paper cites.
J. S. Bell, On the Einstein-Podolsky-Rosen paradox, Physics
1964
Earlier work this paper cites.
P. Landin, A correspondence between ALGOL 60 and Church’s lambda-notation, Comm. ACM
1965
Earlier work this paper cites.
S. Eilenberg and G. M. Kelly, Closed categories, in Proceedings of the Conference on Categorical Algebra (La Jolla, 1965)
1966
Earlier work this paper cites.
M. Schönfinkel, Über die Bausteine der mathematischen Logik, Math. Ann
1967
Earlier work this paper cites.
M. E. Szabo, ed., Collected Papers of Gerhard Gentzen
1969
Earlier work this paper cites.
G. M. Kelly and S. Mac Lane, Coherence in closed categories, Jour. Pure Appl. Alg
1971
Earlier work this paper cites.
H. B. Curry and R. Feys, Combinatory Logic
1972
Earlier work this paper cites.
A. Heyting, ed., L. E. J. Brouwer: Collected Works 1: Philosophy and Foundations of Mathematics
1975
Earlier work this paper cites.
R. Penrose, Applications of negative dimensional tensors, in Combinatorial Mathematics and its Applications
1979
Earlier work this paper cites.
W. A. Howard, The formulae-as-types notion of constructions, in To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
1980
Earlier work this paper cites.
G. M. Kelly and M. L. Laplaza, Coherence for compact closed categories, Jour. Pure Appl. Alg
1980
Earlier work this paper cites.
J. Lambek, From λ \lambda -calculus to cartesian closed categories, in To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
1980
Earlier work this paper cites.
S. N. Burris and H. P. Sankappanavar, A Course in Universal Algebra
1981
Earlier work this paper cites.
W. K. Wootters and W. H. Zurek, A single quantum cannot be cloned, Nature
1982
Earlier work this paper cites.
M. Barr and C. Wells, Toposes, Triples and Theories
1983
Earlier work this paper cites.
H. Barendregt, The Lambda Calculus, its Syntax and Semantics
1984
Earlier work this paper cites.
R. Goldblatt, Topoi: the Categorial Analysis of Logic
1984
Earlier work this paper cites.
J. Lambek and P. J. Scott, Introduction to Higher-order Categorical Logic
1986
Earlier work this paper cites.
J.-Y. Girard, Linear logic, Theor. Comp. Sci
1987
Earlier work this paper cites.
R. A. G. Seely, Weak adjointness in proof theory, Applications of Sheaves
1987
Earlier work this paper cites.
P. Freyd and D. Yetter, Braided compact monoidal categories with applications to low dimensional topology, Adv. Math
1989
Earlier work this paper cites.
C. B. Jay, Languages for monoidal categories, Jour. Pure Appl. Alg
1989
Earlier work this paper cites.
E. Witten, Quantum field theory and the Jones polynomial, Comm. Math. Phys
1989
Cited alongside, same era.
M. F. Atiyah, Topological quantum field theories, Publ. Math. IHES Paris
1990
Cited alongside, same era.
J.-Y. Girard, Y. Lafont and P. Taylor, Proofs and Types
1990
Cited alongside, same era.
C. B. Jay, The structure of free closed categories, Jour. Pure Appl. Alg
1990
Cited alongside, same era.
T. Kohno, ed., New Developments in the Theory of Knots
1990
Cited alongside, same era.
S. Ambler, First order logic in symmetric monoidal closed categories, Ph.D. thesis, U. of Edinburgh, 1991. Available at http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-194/
1991
Cited alongside, same era.
D. Gottesman and I. L. Chuang, Quantum teleportation is a universal computational primitive, Nature
1999
Later among the works it cites.
M. Hasegawa, Logical predicates for intuitionistic linear type theories, Typed Lambda Calculi and Applications: 4th International Conference, TLCA ’99
1999
Later among the works it cites.
J. Baez, An introduction to spin foam models of quantum gravity and B F BF theory, in Geometry and Quantum Physics
2000
Later among the works it cites.
M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information
2000
Later among the works it cites.
P. Scott, Some aspects of categories in computer science, in Handbook of Algebra
2000
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Joyal and R. Street, The geometry of tensor calculus I, Adv. Math
1991
Cited alongside, same era.
L. H. Kauffman, Knots and Physics
1991
Cited alongside, same era.
G. Moore and N. Read, Nonabelions in the the fractional quantum Hall effect, Nucl. Phys. B
1991
Cited alongside, same era.
N. Benton, G. M. Bierman, V. de Paiva and J. M. E. Hyland, Linear lambda-calculus and categorical models revisited, in Computer Science Logic (CSL’92), Selected Papers
1992
Cited alongside, same era.
N. Benton, G. Bierman, V. de Paiva and M. Hyland, Term Assignment for Intuitionistic Linear Logic
1992
Cited alongside, same era.
M. Stone, ed., Quantum Hall Effect
1992
Cited alongside, same era.
2001
Later among the works it cites.
B. Bakalov and A. Kirillov, Jr., Lectures on Tensor Categories and Modular Functors
2001
Later among the works it cites.
D. N. Yetter, Functorial Knot Theory: Categories of Tangles, Coherence, Categorical Deformations, and Topological Invariants
2001
Later among the works it cites.
S. Abramsky, E. Haghverdi and P. Scott, Geometry of interaction and linear combinatory algebras, Math. Struct. Comp. Sci
2002
Later among the works it cites.
M. Freedman, A. Kitaev, M. Larsen and Z. Wang, Topological quantum computation, available as arXiv:quant-ph/0101025 . M. Freedman, A. Kitaev and Z. Wang, Simulation of topological field theories by quantum computers, Comm. Math. Phys
2002
Later among the works it cites.
T. Leinster, A survey of definitions of n n -category, Th. Appl. Cat
2002
Later among the works it cites.
J. Baez and L. Langford, Higher-dimensional algebra IV: 2-tangles, Adv. Math
2003
Later among the works it cites.
P. Cvitanovic, Group Theory
2003
Later among the works it cites.
R. Blute and P. Scott, Category theory for linear logicians, in Linear Logic in Computer Science
2004
Later among the works it cites.
J. Kock, Frobenius Algebras and 2D Topological Quantum Field Theories
2004
Later among the works it cites.
G. Segal, The definition of a conformal field theory, in Topology, Geometry and Quantum Field Theory: Proceedings of the 2002 Oxford Symposium in Honour of the 60th Birthday of Graeme Segal,
2004
Later among the works it cites.
A. van Tonder, A lambda calculus for quantum computation, SIAM Jour. Comput
2004
Later among the works it cites.
S. Abramsky, Abstract scalars, loops, and free traced and strongly compact closed categories, in Proceedings of CALCO 2005
2005
Later among the works it cites.
D. Kaiser, Drawing Theories Apart: The Dispersion of Feynman Diagrams in Postwar Physics
2005
Later among the works it cites.
P. Melliès, Axiomatic rewriting theory I: a diagrammatic standardisation theorem, in Processes, Terms and Cycles: Steps on the Road to Infinity
2005
Later among the works it cites.
S. Abramsky and R. Duncan, A categorical quantum logic, to appear in Mathematical Structures in Computer Science
2006
Later among the works it cites.
J. Baez, Quantum quandaries: a category-theoretic perspective, in Structural Foundations of Quantum Gravity
2006
Later among the works it cites.
B. Coecke and E. O. Paquette, POVMs and Naimark’s theorem without sums, to appear in Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006)
2006
Later among the works it cites.
P. Selinger and B. Valiron, A lambda calculus for quantum computation with classical control, Math. Struct. Comp. Sci
2006
Later among the works it cites.
J. Baez and A. Lauda, A prehistory of n n -categorical physics, to appear in proceedings of Deep Beauty: Mathematical Innovation and the Search for an Underlying Intelligibility of the Quantum World, Princeton, October 3, 2007, ed. Hans Halvorson. Also available at http://math.ucr.edu/home/baez/history.pdf
2007
Later among the works it cites.
B. Coecke, De-linearizing linearity: projective quantum axiomatics from strong compact closure, Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)
2007
Later among the works it cites.
P. Selinger, Dagger compact closed categories and completely positive maps, Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)
2007
Later among the works it cites.
J. R. Hindley and J. P. Seldin, Lambda-Calculus and Combinators: An Introduction
2008
Later among the works it cites.
A. Stern, Anyons and the quantum Hall effect – a pedagogical review, Ann. Phys
2008
Later among the works it cites.