Peter Selinger

Available identifiers

zbMath Open selinger.peterWikidataQ102174134 ScholiaQ102174134MaRDI QIDQ1884895

List of research outcomes

Publication	Date of Publication	Type
Generators and Relations for 3-Qubit Clifford+CS Operators	2024-03-22	Paper
Towards an induction principle for nested data types	2024-02-28	Paper
First-order axioms for asynchrony	2023-05-17	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2022-10-06	Paper
On the combinatorial value of Hex positions	2022-08-08	Paper
On the Lambek embedding and the category of product-preserving presheaves	2022-05-12	Paper
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting	2022-04-27	Paper
Proto-Quipper with dynamic lifting	2022-04-27	Paper
There are infinitely many monotone games over $L_5$	2022-03-25	Paper
A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)	2021-12-17	Paper
All passable games are realizable as monotone set coloring games	2021-11-19	Paper
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper	2021-07-05	Paper
Completely positive projections and biproducts	2021-06-29	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2021-01-21	Paper
Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)	2016-10-07	Paper
A Finite Alternation Result for Reversible Boolean Circuits	2016-08-10	Paper
Reversible k-valued logic circuits are finitely generated for odd k	2016-04-06	Paper
Generators and relations for n-qubit Clifford operators	2015-08-25	Paper
Applying quantitative semantics to higher-order quantum computing	2014-04-10	Paper
Idempotents in Dagger Categories	2014-01-17	Paper
On a Fully Abstract Model for a Quantum Linear Functional Language	2014-01-17	Paper
An Introduction to Quantum Programming in Quipper	2013-12-17	Paper
Dagger Compact Closed Categories and Completely Positive Maps	2013-12-06	Paper
Models for an Adversary-Centric Protocol Logic	2013-07-24	Paper
Presheaf Models of Quantum Computation: An Outline	2013-05-28	Paper
Partially traced categories	2013-03-06	Paper
Finite dimensional Hilbert spaces are complete for dagger compact closed categories	2012-08-15	Paper
A Survey of Graphical Languages for Monoidal Categories	2011-05-31	Paper
Tree Checking for Sparse Complexes	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3560839	2010-05-14	Paper
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)	2008-04-11	Paper
Simplicial cycles and the computation of simplicial trees	2007-10-23	Paper
Functional and Logic Programming	2007-09-25	Paper
A lambda calculus for quantum computation with classical control	2006-08-28	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Order-incompleteness and finite lambda reduction models	2004-10-27	Paper
Towards a quantum programming language	2004-09-24	Paper
The lambda calculus is algebraic	2002-01-01	Paper
Control categories and duality: on the categorical semantics of the lambda-mu calculus	2001-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4261081	1999-09-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Selinger