Ugo Moscato

Bibliography

Miglioli, Pierangelo, Moscato, Ugo and Ornaghi, Mario. 1987. “Constructive Theories with Abstract Data Types for Program Synthesis.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 293–302. New York: Plenum Press.