Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Selinger
2010 – today
- 2013
[c11]Octavio Malherbe, Philip Scott, Peter Selinger: Presheaf Models of Quantum Computation: An Outline. Computation, Logic, Games, and Quantum Foundations 2013: 178-194- [c10]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron: Quipper: a scalable quantum programming language. PLDI 2013: 333-342
- [c9]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron: An Introduction to Quantum Programming in Quipper. RC 2013: 110-124
- [i6]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron: Quipper: A Scalable Quantum Programming Language. CoRR abs/1304.3390 (2013)
- [i5]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron: An Introduction to Quantum Programming in Quipper. CoRR abs/1304.5485 (2013)
- 2012
- [j20]Peter Selinger: Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Logical Methods in Computer Science 8(3) (2012)
- [c8]
- [i4]
- [i3]Brett Giles, Peter Selinger: Exact synthesis of multi-qubit Clifford+T circuits. CoRR abs/1212.0506 (2012)
- 2011
- [j19]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(1): 1-2 (2011)
- [j18]Peter Selinger: Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract). Electr. Notes Theor. Comput. Sci. 270(1): 113-119 (2011)
- [j17]Bob Coecke, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(2): 1-2 (2011)
- [e1]Bart Jacobs, Peter Selinger, Bas Spitters (Eds.): Proceedings 8th International Workshop on Quantum Physics and Logic. EPTCS 95, 2011
- 2010
- [j16]
2000 – 2009
- 2008
- [j15]
- [j14]Peter Selinger: Idempotents in Dagger Categories: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 210: 107-122 (2008)
- [j13]Peter Selinger, Benoît Valiron: On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 210: 123-137 (2008)
- [c7]Peter Selinger, Benoît Valiron: A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). FoSSaCS 2008: 81-96
- [i2]Peter Selinger, Benoît Valiron: A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract). CoRR abs/0801.0813 (2008)
- [i1]
- 2007
- [j12]
- [j11]Peter Selinger: Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 170: 139-163 (2007)
- [j10]Massimo Caboara, Sara Faridi, Peter Selinger: Simplicial cycles and the computation of simplicial trees. J. Symb. Comput. 42(1-2): 74-88 (2007)
- 2006
- [j9]Peter Selinger: Special issue on quantum programming languages. Mathematical Structures in Computer Science 16(3): 373-374 (2006)
- [j8]Peter Selinger, Benoît Valiron: A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science 16(3): 527-552 (2006)
- [c6]Massimo Caboara, Sara Faridi, Peter Selinger: Tree Checking for Sparse Complexes. ICMS 2006: 110-121
- 2005
- [c5]Peter Selinger, Benoît Valiron: A Lambda Calculus for Quantum Computation with Classical Control. TLCA 2005: 354-368
- 2004
- [j7]Peter Selinger: Towards a quantum programming language. Mathematical Structures in Computer Science 14(4): 527-586 (2004)
- [c4]
- 2003
- [j6]Peter Selinger: Order-incompleteness and finite lambda reduction models. Theor. Comput. Sci. 309(1-3): 43-63 (2003)
- 2002
- [j5]
- [j4]
- 2001
- [j3]Peter Selinger: Models for an adversary-centric protocol logic. Electr. Notes Theor. Comput. Sci. 55(1): 69-84 (2001)
- [j2]Peter Selinger: Control categories and duality: on the categorical semantics of the lambda-mu calculus. Mathematical Structures in Computer Science 11(2): 207-260 (2001)
- [c3]
1990 – 1999
- 1999
- [j1]Peter Selinger: Categorical Structure of Asynchrony. Electr. Notes Theor. Comput. Sci. 20: 158-181 (1999)
- 1997
- [c2]
- 1996
- [c1]Peter Selinger: Order-Incompleteness and Finite Lambda Models (Extended Abstract). LICS 1996: 432-439
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:21 CEST by the dblp team