TY  - RPRT
TI  - A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting
AU  - Peng Fu
AU  - Kohei Kishida
AU  - Neil J. Ross
AU  - Peter Selinger
PY  - 2023
DO  - 10.4204/eptcs.394.16
UR  - https://arxiv.org/abs/2204.13039
ID  - 2204.13039
ER  -