×

zbMATH — the first resource for mathematics

Selinger, Peter

Compute Distance To:
Author ID: selinger.peter Recent zbMATH articles by "Selinger, Peter"
Published as: Selinger, Peter; Selinger, P.
External Links: MGP
Documents Indexed: 38 Publications since 1999, including 10 Books

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 397 times in 282 Documents Cited by Year
A survey of graphical languages for monoidal categories. Zbl 1217.18002
Selinger, P.
82
2011
Dagger compact closed categories and completely positive maps (extended abstract). Zbl 1277.18008
Selinger, Peter
73
2007
Towards a quantum programming language. Zbl 1085.68014
Selinger, Peter
63
2004
Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003
Selinger, Peter
37
2001
A lambda calculus for quantum computation with classical control. Zbl 1122.68033
Selinger, Peter; Valiron, Benoit
25
2006
A brief survey of quantum programming languages. Zbl 1122.68359
Selinger, Peter
12
2004
Applying quantitative semantics to higher-order quantum computing. Zbl 1284.68271
Pagani, Michele; Selinger, Peter; Valiron, Benoît
12
2014
Idempotents in dagger categories (extended abstract). Zbl 1279.18006
Selinger, Peter
12
2008
An introduction to quantum programming in Quipper. Zbl 1406.68013
Green, Alexander S.; Lumsdaine, Peter LeFanu; Ross, Neil J.; Selinger, Peter; Valiron, Benoît
10
2013
Quantum lambda calculus. Zbl 1344.68052
Selinger, Peter; Valiron, Benoît
9
2010
The lambda calculus is algebraic. Zbl 1040.68023
Selinger, Peter
9
2002
On a fully abstract model for a quantum linear functional language (extended abstract). Zbl 1279.68046
Selinger, Peter; Valiron, Benoît
9
2008
Order-incompleteness and finite lambda reduction models. Zbl 1070.68022
Selinger, Peter
8
2003
A lambda calculus for quantum computation with classical control. Zbl 1114.68031
Selinger, Peter; Valiron, Benoít
7
2005
Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Zbl 1250.18007
Selinger, Peter
6
2012
Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract). Zbl 1348.18011
Selinger, Peter
5
2011
Categorical structure of asynchrony. Zbl 0924.68109
Selinger, Peter
4
1999
Presheaf models of quantum computation: an outline. Zbl 1264.81119
Malherbe, Octavio; Scott, Philip; Selinger, Peter
4
2013
Simplicial cycles and the computation of simplicial trees. Zbl 1124.05094
Caboara, Massimo; Faridi, Sara; Selinger, Peter
3
2007
Models for an adversary-centric protocol logic. Zbl 1268.03036
Selinger, Peter
3
2003
A linear-non-linear model for a computational call-by-value lambda calculus. (Extended abstract). Zbl 1138.68351
Selinger, Peter; Valiron, Benoît
1
2008
Tree checking for sparse complexes. Zbl 1229.05292
Caboara, Massimo; Faridi, Sara; Selinger, Peter
1
2006
Generators and relations for \(n\)-qubit Clifford operators. Zbl 1391.81066
Selinger, Peter
1
2015
Partially traced categories. Zbl 1278.18010
Malherbe, Octavio; Scott, Philip J.; Selinger, Peter
1
2012
Generators and relations for \(n\)-qubit Clifford operators. Zbl 1391.81066
Selinger, Peter
1
2015
Applying quantitative semantics to higher-order quantum computing. Zbl 1284.68271
Pagani, Michele; Selinger, Peter; Valiron, Benoît
12
2014
An introduction to quantum programming in Quipper. Zbl 1406.68013
Green, Alexander S.; Lumsdaine, Peter LeFanu; Ross, Neil J.; Selinger, Peter; Valiron, Benoît
10
2013
Presheaf models of quantum computation: an outline. Zbl 1264.81119
Malherbe, Octavio; Scott, Philip; Selinger, Peter
4
2013
Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Zbl 1250.18007
Selinger, Peter
6
2012
Partially traced categories. Zbl 1278.18010
Malherbe, Octavio; Scott, Philip J.; Selinger, Peter
1
2012
A survey of graphical languages for monoidal categories. Zbl 1217.18002
Selinger, P.
82
2011
Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract). Zbl 1348.18011
Selinger, Peter
5
2011
Quantum lambda calculus. Zbl 1344.68052
Selinger, Peter; Valiron, Benoît
9
2010
Idempotents in dagger categories (extended abstract). Zbl 1279.18006
Selinger, Peter
12
2008
On a fully abstract model for a quantum linear functional language (extended abstract). Zbl 1279.68046
Selinger, Peter; Valiron, Benoît
9
2008
A linear-non-linear model for a computational call-by-value lambda calculus. (Extended abstract). Zbl 1138.68351
Selinger, Peter; Valiron, Benoît
1
2008
Dagger compact closed categories and completely positive maps (extended abstract). Zbl 1277.18008
Selinger, Peter
73
2007
Simplicial cycles and the computation of simplicial trees. Zbl 1124.05094
Caboara, Massimo; Faridi, Sara; Selinger, Peter
3
2007
A lambda calculus for quantum computation with classical control. Zbl 1122.68033
Selinger, Peter; Valiron, Benoit
25
2006
Tree checking for sparse complexes. Zbl 1229.05292
Caboara, Massimo; Faridi, Sara; Selinger, Peter
1
2006
A lambda calculus for quantum computation with classical control. Zbl 1114.68031
Selinger, Peter; Valiron, Benoít
7
2005
Towards a quantum programming language. Zbl 1085.68014
Selinger, Peter
63
2004
A brief survey of quantum programming languages. Zbl 1122.68359
Selinger, Peter
12
2004
Order-incompleteness and finite lambda reduction models. Zbl 1070.68022
Selinger, Peter
8
2003
Models for an adversary-centric protocol logic. Zbl 1268.03036
Selinger, Peter
3
2003
The lambda calculus is algebraic. Zbl 1040.68023
Selinger, Peter
9
2002
Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003
Selinger, Peter
37
2001
Categorical structure of asynchrony. Zbl 0924.68109
Selinger, Peter
4
1999
all top 5

Cited by 336 Authors

18 Coecke, Bob
9 Zorzi, Margherita
8 Feng, Yuan
8 Heunen, Chris
8 Perdrix, Simon
8 Vicary, Jamie
8 Ying, Mingsheng
7 Selinger, Peter
7 Zanasi, Fabio
5 Baez, John C.
5 Bonchi, Filippo
5 Dal Lago, Ugo
5 Jacobs, Bart
5 Kaarsgaard, Robin
5 Masini, Andrea
5 Scott, Philip J.
5 Valiron, Benoît
4 Díaz-Caro, Alejandro
4 Duncan, Ross
4 Ehrhard, Thomas
4 Gadducci, Fabio
4 Kissinger, Aleks
4 Manzonetto, Giulio
4 Paolini, Luca
4 Salibra, Antonino
4 Sobociński, Paweł
4 Tull, Sean
3 Ariola, Zena M.
3 Arrighi, Pablo
3 Backens, Miriam
3 Blute, Richard F.
3 Bucciarelli, Antonio
3 Delbecque, Yannick
3 Duan, Runyao
3 Fong, Brendan
3 Führmann, Carsten
3 Gran, Marino
3 Grattage, Jonathan
3 Hyland, J. Martin E.
3 Kakutani, Yoshihiko
3 Kimura, Daisuke
3 Laurent, Olivier
3 Malherbe, Octavio
3 McCusker, Guy Andrew
3 Piccolo, Mauro
3 Rennela, Mathys
3 Reutter, David Jakob
3 Sabry, Amr
3 Shulman, Michael A.
3 Spekkens, Robert W.
3 Vizzotto, Juliana Kaizer
3 Wang, Quanlong
3 Wilce, Alexander
2 Altenkirch, Thorsten
2 Axelsen, Holger Bock
2 Baldan, Paolo
2 Barnum, Howard
2 Berline, Chantal
2 Cho, Kenta
2 Clairambault, Pierre
2 Cockett, J. Robin B.
2 Du Bois, André Rauber
2 Edwards, Bill
2 Faridi, Sara
2 Felty, Amy P.
2 Fritz, Tobias
2 Fujita, Ken-etsu
2 Gabbay, Michael J.
2 Gielerak, Roman
2 Glück, Robert
2 Haghverdi, Esfandiar
2 Hamano, Masahiro
2 Harding, John
2 Hasegawa, Masahito
2 Hasuo, Ichiro
2 Herbelin, Hugo
2 Jeandel, Emmanuel
2 Ji, Zhengfeng
2 Kesner, Delia
2 Lemay, Jean-Simon P.
2 Levy, Paul Blain
2 Li, Lvzhou
2 Mahmoud, Mohamed Yousri
2 Musto, Benjamin
2 Nagarajan, Rajagopal
2 Nguefeu, Idriss Tchoffo
2 Panangaden, Prakash
2 Paquette, Éric Oliver
2 Pavlović, Duško
2 Pollard, Blake S.
2 Ponto, Kate
2 Power, John
2 Pym, David J.
2 Rodelo, Diana
2 Runkel, Ingo
2 Sabadini, Nicoletta
2 Sawerwain, Marek
2 Staton, Sam
2 Verdon, Dominic
2 Vial, Pierre
...and 236 more Authors
all top 5

Cited in 72 Serials

19 MSCS. Mathematical Structures in Computer Science
15 Theoretical Computer Science
13 Logical Methods in Computer Science
12 Annals of Pure and Applied Logic
12 Information and Computation
10 Journal of Pure and Applied Algebra
8 Quantum Information Processing
6 Communications in Mathematical Physics
5 Journal of Automated Reasoning
4 Acta Informatica
4 New Generation Computing
4 Theory and Applications of Categories
4 Foundations of Physics
3 Advances in Mathematics
3 Journal of Symbolic Computation
3 Applied Categorical Structures
3 New Journal of Physics
3 Higher-Order and Symbolic Computation
2 International Journal of Theoretical Physics
2 Information Processing Letters
2 Journal of Mathematical Physics
2 Journal of Computer and System Sciences
2 Journal of Philosophical Logic
2 The Journal of Symbolic Logic
2 Synthese
2 Annals of Mathematics and Artificial Intelligence
2 Journal of Homotopy and Related Structures
2 Journal of Commutative Algebra
1 Artificial Intelligence
1 Communications in Algebra
1 Discrete Mathematics
1 Reviews in Mathematical Physics
1 Journal of Geometry and Physics
1 Bulletin of the Polish Academy of Sciences. Technical Sciences
1 Algebra Universalis
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Memoirs of the American Mathematical Society
1 Notre Dame Journal of Formal Logic
1 Transactions of the American Mathematical Society
1 Topology and its Applications
1 Science of Computer Programming
1 Formal Aspects of Computing
1 Numerical Algorithms
1 Expositiones Mathematicae
1 Journal of Algebraic Combinatorics
1 Journal of Computer and Systems Sciences International
1 Journal of Functional Programming
1 Selecta Mathematica. New Series
1 Representation Theory
1 Soft Computing
1 Geometry & Topology
1 Journal of the European Mathematical Society (JEMS)
1 International Journal of Applied Mathematics and Computer Science
1 Communications in Contemporary Mathematics
1 Journal of High Energy Physics
1 Lobachevskii Journal of Mathematics
1 Annales Henri Poincaré
1 Algebraic & Geometric Topology
1 The Journal of Logic and Algebraic Programming
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Natural Computing
1 Journal of Applied Logic
1 International Journal of Geometric Methods in Modern Physics
1 Quantum Topology
1 RAIRO. Theoretical Informatics and Applications
1 ISRN Geometry
1 Axioms
1 Journal of Logical and Algebraic Methods in Programming
1 Journal de l’École Polytechnique – Mathématiques
1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Higher Structures
all top 5

Cited in 38 Fields

143 Computer science (68-XX)
123 Quantum theory (81-XX)
115 Category theory; homological algebra (18-XX)
90 Mathematical logic and foundations (03-XX)
15 Functional analysis (46-XX)
13 Information and communication theory, circuits (94-XX)
12 Combinatorics (05-XX)
12 Associative rings and algebras (16-XX)
10 Manifolds and cell complexes (57-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
8 Algebraic topology (55-XX)
7 Group theory and generalizations (20-XX)
7 Statistics (62-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
5 Commutative algebra (13-XX)
4 Nonassociative rings and algebras (17-XX)
4 Operator theory (47-XX)
3 Topological groups, Lie groups (22-XX)
3 Differential geometry (53-XX)
3 Probability theory and stochastic processes (60-XX)
2 General and overarching topics; collections (00-XX)
2 General algebraic systems (08-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 \(K\)-theory (19-XX)
2 Measure and integration (28-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Optics, electromagnetic theory (78-XX)
2 Statistical mechanics, structure of matter (82-XX)
2 Relativity and gravitational theory (83-XX)
1 Number theory (11-XX)
1 Algebraic geometry (14-XX)
1 Partial differential equations (35-XX)
1 General topology (54-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Numerical analysis (65-XX)
1 Mechanics of particles and systems (70-XX)
1 Biology and other natural sciences (92-XX)
1 Systems theory; control (93-XX)

Citations by Year