Plenary Session 4 - Quantum programming languages
Channel: Quantum Physics and Logic
Date: 2022-08-31

Authors: Agustín Borgna (presenting) and Rafael Romero
Title: Encoding High-level Quantum Programs as SZX-diagrams

Authors: Peng Fu (presenting), Kohei Kishida, Neil J. Ross and Peter Selinger
Title: Proto-Quipper with dynamic lifting

Authors: Peng Fu (presenting), Kohei Kishida, Neil J. Ross and Peter Selinger
Title: A biset-enriched categorical model for Proto-Quipper with dynamic lifting