@misc{indiciaed121347e5700, title = {Quantisation of Abstract Data Types}, author = {Mingsheng Ying and Zhicheng Zhang and Kean Chen}, year = {2026}, url = {https://arxiv.org/abs/2609.03778}, note = {Source identifier: 2609.03778} }