Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Peter Selinger
Map detail
Peter Selinger13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPeter SelingerAPeter SelingerResearcherOn the combinatorial value of Hex positionsWOn the combinatorial va...preprint / 2022A survey of graphical languages for monoidal categoriesWA survey of graphical l...preprint / 2009Lecture notes on the lambda calculusWLecture notes on the la...preprint / 2013Efficient Clifford+T approximation of single-qubit operatorsWEfficient Clifford+T ap...preprint / 2014Finite dimensional Hilbert spaces are complete for dagger compact closed categoriesWFinite dimensional Hilb...preprint / 2012Reversible k-valued logic circuits are finitely generated for odd kWReversible k-valued log...preprint / 2016There are infinitely many monotone games over $L_5$WThere are infinitely ma...preprint / 2022Proceedings 8th International Workshop on Quantum Physics and LogicWProceedings 8th Interna...preprint / 2012Applying quantitative semantics to higher-order quantum computingWApplying quantitative s...preprint / 2013Proceedings 12th International Workshop on Quantum Physics and LogicWProceedings 12th Intern...preprint / 2015Partially traced categoriesWPartially traced catego...preprint / 2012Presheaf models of quantum computation: an outlineWPresheaf models of quan...preprint / 2013
Person12 links

Peter Selinger

Researcher