Peter Selinger
Dalhousie University
H-index: 31
North America-Canada
Top articles of Peter Selinger
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Some improvements to product formula circuits for Hamiltonian simulation | arXiv preprint arXiv:2310.12256 | Andre Kornell Peter Selinger | 2023/10/18 |
Towards an induction principle for nested data types | Peng Fu Peter Selinger | 2023/7/11 | |
Proto-Quipper with dynamic lifting | Proceedings of the ACM on Programming Languages | Peng Fu Kohei Kishida Neil J Ross Peter Selinger | 2023/1/9 |
On the Lambek embedding and the category of product-preserving presheaves | arXiv preprint arXiv:2205.06068 | Peng Fu Kohei Kishida Neil J Ross Peter Selinger | 2022/5/12 |
Generators and relations for 2-qubit Clifford+ T operators | arXiv preprint arXiv:2204.02217 | Xiaoning Bian Peter Selinger | 2022/4/5 |
There are infinitely many monotone games over | arXiv preprint arXiv:2203.13971 | Eric Demer Peter Selinger | 2022/3/26 |
Department of Mathematics and Statistics, Dalhousie University, Nova Scotia, Canada | INTEGERS | Rebecca Milley Richard J Nowakowski | 2012 |
Generators and relations for real stabilizer operators | arXiv preprint arXiv:2109.05655 | Justin Makary Neil J Ross Peter Selinger | 2021/9/13 |
Generators and relations for the group On (Z [1/2]) | arXiv preprint arXiv:2106.01175 | Sarah Meng Li Neil J Ross Peter Selinger | 2021/6/2 |
Generators and relations for Un (Z [1/2, i]) | arXiv preprint arXiv:2105.14047 | Xiaoning Bian Peter Selinger | 2021/5/28 |
On the combinatorial value of Hex positions | arXiv preprint arXiv:2101.06694 | Peter Selinger | 2021/1/17 |
All passable games are realizable as monotone set coloring games | arXiv preprint arXiv:2111.10351 | Eric Demer Peter Selinger Kyle Wang | 2021/11/19 |
Linear dependent type theory for quantum programming languages | Peng Fu Kohei Kishida Peter Selinger | 2020/7/8 | |
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper | Peng Fu Kohei Kishida Neil J Ross Peter Selinger | 2020 |