TY - RPRT TI - Enriched Presheaf Model of Quantum FPC AU - Takeshi Tsukada AU - Kazuyuki Asada PY - 2023 UR - https://arxiv.org/abs/2311.03117 ID - 2311.03117 ER -