| |
| 2003 | ||
|---|---|---|
| 10 | EE | Felice Cardone, Mario Coppo: Decidability Properties of Recursive Types. ICTCS 2003: 242-255 |
| 2002 | ||
| 9 | Paolo Boldi, Felice Cardone, Manfred Droste: Universal Homogeneous Graph-Like Structures And Domains. Mathematical Structures in Computer Science 12(1): 91-109 (2002) | |
| 8 | EE | Felice Cardone: A coinductive completeness proof for the equivalence of recursive types. Theor. Comput. Sci. 275(1-2): 575-587 (2002) |
| 1999 | ||
| 7 | Anatol W. Holt, Felice Cardone: An Organisational Theory of Information. ISCO 1999: 77-91 | |
| 1994 | ||
| 6 | Felice Cardone: Strict Finitism and Feasibility. LCC 1994: 1-21 | |
| 5 | Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994) | |
| 1992 | ||
| 4 | Felice Cardone: An Algebraic Approach to the Interpretation of Recursive Types. CAAP 1992: 66-85 | |
| 1991 | ||
| 3 | Felice Cardone, Mario Coppo: Type Inference with Recursive Types: Syntax and Semantics Inf. Comput. 92(1): 48-80 (1991) | |
| 2 | Felice Cardone: Recursive Types for Fun. Theor. Comput. Sci. 83(1): 29-56 (1991) | |
| 1989 | ||
| 1 | Felice Cardone: Relational Semantics for Recursive Types and Bounded Quantification. ICALP 1989: 164-178 | |
| 1 | Paolo Boldi | [9] |
| 2 | Mario Coppo | [3] [10] |
| 3 | Mariangiola Dezani-Ciancaglini | [5] |
| 4 | Manfred Droste | [9] |
| 5 | Anatol W. Holt | [7] |
| 6 | Ugo de'Liguoro | [5] |