The following pages link to Peter Selinger (Q1884895):
Displaying 31 items.
- Order-incompleteness and finite lambda reduction models (Q1884896) (← links)
- Partially traced categories (Q1940191) (← links)
- A tutorial introduction to quantum circuit programming in dependently typed proto-quipper (Q2039896) (← links)
- Simplicial cycles and the computation of simplicial trees (Q2457409) (← links)
- Control categories and duality: on the categorical semantics of the lambda-mu calculus (Q2719799) (← links)
- Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) (Q2825347) (← links)
- Models for an Adversary-Centric Protocol Logic (Q2841218) (← links)
- Dagger Compact Closed Categories and Completely Positive Maps (Q2864173) (← links)
- An Introduction to Quantum Programming in Quipper (Q2868442) (← links)
- Idempotents in Dagger Categories (Q2870211) (← links)
- On a Fully Abstract Model for a Quantum Linear Functional Language (Q2870212) (← links)
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories (Q2904623) (← links)
- Generators and relations for n-qubit Clifford operators (Q2941758) (← links)
- A Survey of Graphical Languages for Monoidal Categories (Q3000922) (← links)
- A Finite Alternation Result for Reversible Boolean Circuits (Q3186606) (← links)
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) (Q3384934) (← links)
- (Q3560839) (← links)
- (Q4261081) (← links)
- The lambda calculus is algebraic (Q4709842) (← links)
- Towards a quantum programming language (Q4818937) (← links)
- Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
- Completely positive projections and biproducts (Q4997270) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- On the combinatorial value of Hex positions (Q5095319) (← links)
- Functional and Logic Programming (Q5308007) (← links)
- Applying quantitative semantics to higher-order quantum computing (Q5408456) (← links)
- A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract) (Q5458352) (← links)
- A lambda calculus for quantum computation with classical control (Q5482273) (← links)
- Typed Lambda Calculi and Applications (Q5704021) (← links)
- Tree Checking for Sparse Complexes (Q5747803) (← links)
- Generators and Relations for 3-Qubit Clifford+CS Operators (Q6200527) (← links)
