311 citations · 1.2k across the 38 of their papers we have counts for
40 papers
The category of nominal sets is locally monoidal closed
Fahimeh Bayeh, Peng Fu, Peter Selinger
The category Nom of nominal sets was proposed by Pitts and Gabbay as a setting for the semantics of abstract syntax with variable bindings. It is well-known that Nom is a topos, al…
On 3-terminal positions in Hex
Eric Demer, Peter Selinger
This paper is about 3-terminal regions in Hex. A 3-terminal region is a region of the Hex board that is completely surrounded by black and white stones, in such a way that the blac…
Longest winning paths in Hex
Peter Selinger
We answer the question: what is the longest winning path on a Hex board of size ?
Towards an induction principle for nested data types
Peng Fu, Peter Selinger
A well-known problem in the theory of dependent types is how to handle so-called nested data types. These data types are difficult to program and to reason about in total dependent…
Generators and Relations for 3-Qubit Clifford+CS Operators
Xiaoning Bian, Peter Selinger
We give a presentation by generators and relations of the group of 3-qubit Clifford+CS operators. The proof roughly consists of two parts: (1) applying the Reidemeister-Schreier th…
On the Lambek embedding and the category of product-preserving presheaves
Peng Fu, Kohei Kishida, Neil J. Ross +1
It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda…