TY  - RPRT
TI  - Quantisation of Abstract Data Types
AU  - Mingsheng Ying
AU  - Zhicheng Zhang
AU  - Kean Chen
PY  - 2026
UR  - https://arxiv.org/abs/2609.03778
ID  - 2609.03778
ER  -