Relational Semantics for Recursive Types and Bounded Quantification. - Felice Cardone (ICALP, 1989)

Recursive Types for Fun. - Felice Cardone (Theor. Comput. Sci., 1991)

Type Inference with Recursive Types: Syntax and Semantics - Felice Cardone; Mario Coppo (Inf. Comput., 1991)

An Algebraic Approach to the Interpretation of Recursive Types. - Felice Cardone (CAAP, 1992)

Strict Finitism and Feasibility. - Felice Cardone (LCC, 1994)

Combining Type Disciplines. - Felice Cardone; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Ann. Pure Appl. Log., 1994)

An Organisational Theory of Information. - Anatol W. Holt; Felice Cardone (ISCO, 1999)

Universal Homogeneous Graph-Like Structures And Domains. - Paolo Boldi; Felice Cardone; Manfred Droste (Math. Struct. Comput. Sci., 2002)

A coinductive completeness proof for the equivalence of recursive types. - Felice Cardone (Theor. Comput. Sci., 2002)

Decidability Properties of Recursive Types. - Felice Cardone; Mario Coppo (ICTCS, 2003)

Lambda-Calculus and Combinators in the 20th Century. - Felice Cardone; J. Roger Hindley (Logic from Russell to Church, 2009)

Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt. - Felice Cardone (CiE, 2015)

Tiered Objects. - Fabio Alessi; Felice Cardone (Fundam. Informaticae, 2016)