Author:
Mascari Gianfranco,Miola Alfonso
Reference34 articles.
1. R. ALBRECHT: Roundings and Approximations in Ordered Sets, Computing Suppl. 2, 17–31 (1980).
2. ADJ: Initial algebra semantics and continuous algebras, JACM 24 68–95 (1977).
3. G. AUSIELLO, G.F. MASCARI: On the Design of Algebraic Data Structures with the Approach of Abstract Data Types, Proc. Of EUROSAM 79, Springer Verlag (1979).
4. A. ARNOLD, M. NIVAT: Metric interpretations of infinite trees and semantics of non deterministic programs, Theoretical Computer Science 11 181–205 (1980).
5. H.J. BOEHM, R. CARTWRIGHT, M. RIGGLE, O'DONNELL: Exact Real Arithmetic: A Case Study in Higher Order Programming. Proc. Lisp Conference (1986).