{"id":"arxiv/2609.03778","url":"https://arxiv.org/abs/2609.03778","tags":["quant-ph","cs.PL","cs.SE"],"score":0,"title":"Quantisation of Abstract Data Types","domain":"quant-ph","source":"arxiv","authors":["Mingsheng Ying","Zhicheng Zhang","Kean Chen"],"reviews":0,"subject":"quant-ph","summary":"In this paper, we introduce a notion of abstract quantum data type within the framework of universal algebra. This notion provides an algebraic foundation for describing data abstraction in quantum programming. We formally define a quantisation of classical data types and show that their equational specifications can be soundly lifted to the quantum setting. Two standard quantisation methods for classical functions, namely the bit oracle and the phase oracle, arise as special cases of this general construction. We illustrate the framework with applications to quantum arrays and quantum…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}