TY - RPRT TI - Proto-Quipper with dynamic lifting AU - Peng Fu AU - Kohei Kishida AU - Neil J. Ross AU - Peter Selinger PY - 2022 UR - https://arxiv.org/abs/2204.13041 ID - 2204.13041 ER -