# zbMATH — the first resource for mathematics

## Selinger, Peter

Compute Distance To:
 Author ID: selinger.peter Published as: Selinger, Peter; Selinger, P. External Links: MGP
 Documents Indexed: 38 Publications since 1999, including 10 Books
all top 5

#### Co-Authors

 16 single-authored 7 Valiron, Benoît 3 Coecke, Bob 3 Panangaden, Prakash 2 Caboara, Massimo 2 Faridi, Sara 2 Fu, Peng 2 Heunen, Chris 2 Kishida, Kohei 2 Malherbe, Octavio 2 Ross, Neil J. 2 Scott, Philip J. 1 Blute, Rick 1 Chiribella, Giulio 1 Green, Alexander S. 1 Jacobs, Bart 1 Kissinger, Aleks 1 Lumsdaine, Peter LeFanu 1 Mackie, Ian 1 Mislove, Michael W. 1 Pagani, Michele 1 Spitters, Bas 1 Vicary, Jamie
all top 5

#### Serials

 6 Electronic Notes in Theoretical Computer Science 3 MSCS. Mathematical Structures in Computer Science 3 Electronic Proceedings in Theoretical Computer Science (EPTCS) 2 Logical Methods in Computer Science 1 Journal of Pure and Applied Algebra 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Journal of Functional Programming 1 Foundations of Physics
all top 5

#### Fields

 23 Computer science (68-XX) 22 Quantum theory (81-XX) 11 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 8 Category theory; homological algebra (18-XX) 3 Functional analysis (46-XX) 2 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 2 Information and communication theory, circuits (94-XX) 1 Operator theory (47-XX)

#### 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.
2011
Dagger compact closed categories and completely positive maps (extended abstract). Zbl 1277.18008
Selinger, Peter
2007
Towards a quantum programming language. Zbl 1085.68014
Selinger, Peter
2004
Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003
Selinger, Peter
2001
A lambda calculus for quantum computation with classical control. Zbl 1122.68033
Selinger, Peter; Valiron, Benoit
2006
A brief survey of quantum programming languages. Zbl 1122.68359
Selinger, Peter
2004
Applying quantitative semantics to higher-order quantum computing. Zbl 1284.68271
Pagani, Michele; Selinger, Peter; Valiron, Benoît
2014
Idempotents in dagger categories (extended abstract). Zbl 1279.18006
Selinger, Peter
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
2013
Quantum lambda calculus. Zbl 1344.68052
Selinger, Peter; Valiron, Benoît
2010
The lambda calculus is algebraic. Zbl 1040.68023
Selinger, Peter
2002
On a fully abstract model for a quantum linear functional language (extended abstract). Zbl 1279.68046
Selinger, Peter; Valiron, Benoît
2008
Order-incompleteness and finite lambda reduction models. Zbl 1070.68022
Selinger, Peter
2003
A lambda calculus for quantum computation with classical control. Zbl 1114.68031
Selinger, Peter; Valiron, Benoít
2005
Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Zbl 1250.18007
Selinger, Peter
2012
Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract). Zbl 1348.18011
Selinger, Peter
2011
Categorical structure of asynchrony. Zbl 0924.68109
Selinger, Peter
1999
Presheaf models of quantum computation: an outline. Zbl 1264.81119
Malherbe, Octavio; Scott, Philip; Selinger, Peter
2013
Simplicial cycles and the computation of simplicial trees. Zbl 1124.05094
Caboara, Massimo; Faridi, Sara; Selinger, Peter
2007
Models for an adversary-centric protocol logic. Zbl 1268.03036
Selinger, Peter
2003
A linear-non-linear model for a computational call-by-value lambda calculus. (Extended abstract). Zbl 1138.68351
Selinger, Peter; Valiron, Benoît
2008
Tree checking for sparse complexes. Zbl 1229.05292
Caboara, Massimo; Faridi, Sara; Selinger, Peter
2006
Generators and relations for $$n$$-qubit Clifford operators. Zbl 1391.81066
Selinger, Peter
2015
Partially traced categories. Zbl 1278.18010
Malherbe, Octavio; Scott, Philip J.; Selinger, Peter
2012
Generators and relations for $$n$$-qubit Clifford operators. Zbl 1391.81066
Selinger, Peter
2015
Applying quantitative semantics to higher-order quantum computing. Zbl 1284.68271
Pagani, Michele; Selinger, Peter; Valiron, Benoît
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
2013
Presheaf models of quantum computation: an outline. Zbl 1264.81119
Malherbe, Octavio; Scott, Philip; Selinger, Peter
2013
Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Zbl 1250.18007
Selinger, Peter
2012
Partially traced categories. Zbl 1278.18010
Malherbe, Octavio; Scott, Philip J.; Selinger, Peter
2012
A survey of graphical languages for monoidal categories. Zbl 1217.18002
Selinger, P.
2011
Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract). Zbl 1348.18011
Selinger, Peter
2011
Quantum lambda calculus. Zbl 1344.68052
Selinger, Peter; Valiron, Benoît
2010
Idempotents in dagger categories (extended abstract). Zbl 1279.18006
Selinger, Peter
2008
On a fully abstract model for a quantum linear functional language (extended abstract). Zbl 1279.68046
Selinger, Peter; Valiron, Benoît
2008
A linear-non-linear model for a computational call-by-value lambda calculus. (Extended abstract). Zbl 1138.68351
Selinger, Peter; Valiron, Benoît
2008
Dagger compact closed categories and completely positive maps (extended abstract). Zbl 1277.18008
Selinger, Peter
2007
Simplicial cycles and the computation of simplicial trees. Zbl 1124.05094
Caboara, Massimo; Faridi, Sara; Selinger, Peter
2007
A lambda calculus for quantum computation with classical control. Zbl 1122.68033
Selinger, Peter; Valiron, Benoit
2006
Tree checking for sparse complexes. Zbl 1229.05292
Caboara, Massimo; Faridi, Sara; Selinger, Peter
2006
A lambda calculus for quantum computation with classical control. Zbl 1114.68031
Selinger, Peter; Valiron, Benoít
2005
Towards a quantum programming language. Zbl 1085.68014
Selinger, Peter
2004
A brief survey of quantum programming languages. Zbl 1122.68359
Selinger, Peter
2004
Order-incompleteness and finite lambda reduction models. Zbl 1070.68022
Selinger, Peter
2003
Models for an adversary-centric protocol logic. Zbl 1268.03036
Selinger, Peter
2003
The lambda calculus is algebraic. Zbl 1040.68023
Selinger, Peter
2002
Control categories and duality: On the categorical semantics of the lambda-mu calculus. Zbl 0984.18003
Selinger, Peter
2001
Categorical structure of asynchrony. Zbl 0924.68109
Selinger, Peter
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)