P. Selinger
发表
P. Selinger,
B. Valiron,
2010
.
P. Selinger,
2003
.
P. Selinger,
2009,
0908.3347.
P. Selinger,
2004
.
P. Selinger,
M. Caboara,
S. Faridi,
2005
.
P. Selinger,
M. Caboara,
S. Faridi,
2005
.
P. Selinger,
2003
.
P. Selinger,
B. Valiron,
2009
.
P. Selinger,
2022
.
P. Selinger,
2003
.
P. Selinger,
G. Chiribella,
2019
.
P. Selinger,
2021,
2101.06694.
P. Scott,
P. Selinger,
Octavio Malherbe,
2012
.
P. Scott,
P. Selinger,
Octavio Malherbe,
2011
.
Presheaf Models of Quantum Computation: An Outline Dedicated to Samson Abramsky on His 60th Birthday
P. Scott,
P. Selinger,
Octavio Malherbe,
2013
.
Neil J. Ross,
P. Selinger,
Peng Fu,
2022,
ArXiv.
P. Selinger,
C. Heunen,
M. Hoban,
2015
.
Neil J. Ross,
P. Selinger,
Peng Fu,
2022,
Proc. ACM Program. Lang..
Peter Selinger,
Philip Scott,
Octavio Malherbe,
2013,
Computation, Logic, Games, and Quantum Foundations.
Peter Selinger,
Philip J. Scott,
Octavio Malherbe,
2011,
1107.3608.
Michele Pagani,
Benoît Valiron,
Peter Selinger,
2013,
POPL.
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
PLDI.
Peter Selinger,
P. Selinger,
2004,
Mathematical Structures in Computer Science.
Peter Selinger,
P. Selinger,
2004,
FLOPS.
Neil J. Ross,
P. Selinger,
N. J. Ross,
2014,
Quantum Inf. Comput..
Peter Selinger,
P. Selinger,
2012,
Quantum Inf. Comput..
Peter Selinger,
Brett Gordon Giles,
Brett Giles,
2013,
ArXiv.
Jonathan M. Smith,
Benoît Valiron,
Neil J. Ross,
2015,
Commun. ACM.
Jonathan M. Smith,
Benoît Valiron,
Neil J. Ross,
2014,
ArXiv.
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
RC.
Peter Selinger,
P. Selinger,
2018,
FSCD.
P. Selinger,
B. Valiron,
2009
.
Peter Selinger,
P. Selinger,
1998
.
Peter Selinger,
P. Selinger,
2008,
QPL.
P. Selinger,
K. Tapp,
2018,
1808.06961.
Peter Selinger,
P. Selinger,
2011,
QPL/DCM@ICALP.
Peter Selinger,
Brett Gordon Giles,
Brett Giles,
2012,
ArXiv.
Peter Selinger,
P. Selinger,
2012,
ArXiv.
Peter Selinger,
P. Selinger,
2007,
QPL.
Peter Selinger,
P. Selinger,
2013,
Log. Methods Comput. Sci..
Peter Selinger,
P. Selinger,
2008,
ArXiv.
Neil J. Ross,
Peter Selinger,
Justin Makary,
2021,
QPL.
Kohei Kishida,
Neil J. Ross,
Peter Selinger,
2020,
RC.
Kohei Kishida,
Peng Fu,
Peter Selinger,
2020,
LICS.
Benoît Valiron,
Peter Selinger,
P. Selinger,
2008,
QPL.
P. Selinger,
Miroslav Holienka,
E. Musilová,
2017
.
Peter Selinger,
P. Selinger,
1997,
CONCUR.
Peter Selinger,
Peng Fu,
P. Selinger,
2018,
ArXiv.
Peter Selinger,
P. Selinger,
2001,
TLCA.
Peter Selinger,
P. Selinger,
2001,
Mathematical Structures in Computer Science.
Aleks Kissinger,
Peter Selinger,
Chris Heunen,
2013,
QPL.
P. Selinger,
Peng Fu,
K. Kishida,
2022,
QPL.
P. Selinger,
Xiaoning Bian,
2022,
QPL.