A Unified Formal Description of Arithmetic and Set Theoretical Data Types. (2010)

by Paul Tarau
Venue:Intelligent Computer Mathematics, 17th Symposium, Calculemus 2010, 9th International Conference AISC/Calculemus/MKM 2010,