## Publications in refereed international journals

- Cardone Felice, A coinductive completeness proof for the equivalence of recursive types, 2002, Theoretical Computer Science, 275, pp. 575-587
- Boldi Paolo; Cardone Felice; Droste Manfred, Universal homogeneous graph-like structures and domains, 2002, Mathematical Structures in Computer Science, 12, 1, pp. 91-109
- Cardone Felice, Recursive Types for Fun, 1991, Theoretical Computer Science, 83, pp. 29-56
- Cardone Felice; Coppo Mario, Type Inference with Recursive Types: Syntax and Semantics, 1991, Information and Computation, 92, 1, pp. 48-80