Peter Selinger

发表

Benoît Valiron, Alexander S. Green, Peter LeFanu Lumsdaine, 2013, RC.
Peter Selinger, P. Selinger, 2001, Mathematical Structures in Computer Science.
Peter Selinger, P. Selinger, 2018, FSCD.
Jonathan M. Smith, Benoît Valiron, Neil J. Ross, 2014, ArXiv.
Peter Selinger, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Peter Selinger, Richard Blute, 2003 .
Peter Selinger, Philip Scott, Octavio Malherbe, 2013, Computation, Logic, Games, and Quantum Foundations.
Peter Selinger, Brett Gordon Giles, Brett Giles, 2013, ArXiv.
Peter Selinger, P. Selinger, 2008, QPL.
Aleks Kissinger, Peter Selinger, Chris Heunen, 2014 .
Peter Selinger, 2013 .
Peter Selinger, 1999, MFPS.
Peter Selinger, P. Selinger, 1997, CONCUR.
Peter Selinger, Massimo Caboara, Sara Faridi, 2007, J. Symb. Comput..
Peter Selinger, P. Selinger, 2012, ArXiv.
Peter Selinger, P. Selinger, 2004, Mathematical Structures in Computer Science.
Jonathan M. Smith, Benoît Valiron, Neil J. Ross, 2015, Commun. ACM.
Peter Selinger, 2018, Sci. Comput. Program..
Peter Selinger, Brett Gordon Giles, Brett Giles, 2012, ArXiv.
Peter Selinger, P. Selinger, 2013, Log. Methods Comput. Sci..
Benoît Valiron, Peter Selinger, 2006, Math. Struct. Comput. Sci..
Peter Selinger, 2002, J. Funct. Program..
Benoît Valiron, Alexander S. Green, Peter LeFanu Lumsdaine, 2013, PLDI.
Peter Selinger, P. Selinger, 2004, FLOPS.
Peter Selinger, Massimo Caboara, Sara Faridi, 2006, ICMS.
Peter Selinger, 2003, Theor. Comput. Sci..
Peter Selinger, Peng Fu, P. Selinger, 2018, ArXiv.
Michele Pagani, Benoît Valiron, Peter Selinger, 2013, POPL.
Bas Spitters, Peter Selinger, Bart Jacobs, 2012 .
Benoît Valiron, Peter Selinger, 2005, TLCA.
Peter Selinger, P. Selinger, 2012, Quantum Inf. Comput..
Peter Selinger, P. Selinger, 2008, ArXiv.
Peter Selinger, P. Selinger, 2001, TLCA.
Peter Selinger, 2006, Math. Struct. Comput. Sci..
Peter Selinger, 2001, Electron. Notes Theor. Comput. Sci..
Bas Spitters, Peter Selinger, Bart Jacobs, 2012, 1210.0298.
Martin Rötteler, Peter Selinger, Michele Mosca, 2018, Dagstuhl Reports.
Peter Selinger, T. Kampmiller, M. Selingerova, 1994 .
Neil J. Ross, Peter Selinger, Justin Makary, 2021, QPL.
Neil J. Ross, Peter Selinger, Sarah Meng Li, 2021, QPL.
Peter Selinger, Eric Demer, Kyle Wang, 2021 .
Peter Selinger, Xiaoning Bian, 2021, Electronic Proceedings in Theoretical Computer Science.
Aleks Kissinger, Peter Selinger, Chris Heunen, 2013, QPL.
Peter Selinger, Philip J. Scott, Octavio Malherbe, 2011, 1107.3608.
Peter Selinger, Dalhousie, 2014 .