| 2023 | WoLLIC | Towards an Induction Principle for Nested Data Types. | Peng Fu, Peter Selinger |
| 2020 | LICS | Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. | Peng Fu, Kohei Kishida, Peter Selinger |
| 2020 | RC | A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. | Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger |
| 2016 | RC | A Finite Alternation Result for Reversible Boolean Circuits. | Peter Selinger |
| 2014 | POPL | Applying quantitative semantics to higher-order quantum computing. | Michele Pagani, Peter Selinger, Benot Valiron |
| 2013 | PLDI | Quipper: a scalable quantum programming language. | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron |
| 2013 | RC | An Introduction to Quantum Programming in Quipper. | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron |
| 2012 | WoLLIC | Logical Methods in Quantum Information Theory. | Peter Selinger |
| 2008 | FOSSACS | A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). | Peter Selinger, Benot Valiron |
| 2004 | FLOPS | A Brief Survey of Quantum Programming Languages. | Peter Selinger |
| 1997 | CONCUR | First-Order Axioms for Asynchrony. | Peter Selinger |
| 1996 | LICS | Order-Incompleteness and Finite Lambda Models (Extended Abstract). | Peter Selinger |