Peter Selinger

Latest

• Proto-Quipper with Dynamic Lifting
• Linear Dependent Type Theory for Quantum Programming Languages
• A biset-enriched categorical model for Proto-Quipper with dynamic lifting
• A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper
• Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract
• Quantum Programming Languages (Dagstuhl Seminar 18381)
• A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
• Programming the Quantum Future
• Applying Quantitative Semantics to Higher-Order Quantum Computing
• An Introduction to Quantum Programming in Quipper
• Quipper: A Scalable Quantum Programming Language
• Quantum Lambda Calculus
• Dagger Compact Closed Categories and Completely Positive Maps (Extended Abstract)
• A Lambda Calculus for Quantum Computation with Classical Control
• Towards a Quantum Programming Language
• A Brief Survey of Quantum Programming Languages