Felice Cardone

14 papers A* 1C 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Learning Foundations Beneath the Stars.
CoRR
Felice Cardone, Luca Paolini
2016 J jnl
Tiered Objects.
Fundam. Informaticae
Fabio Alessi, Felice Cardone
2015 C conf
Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt.
CiE
Felice Cardone
2009 — ch.
Lambda-Calculus and Combinators in the 20th Century.
Logic from Russell to Church
Felice Cardone, J. Roger Hindley
2003 — conf
Decidability Properties of Recursive Types.
ICTCS
Felice Cardone, Mario Coppo
2002 J jnl
A coinductive completeness proof for the equivalence of recursive types.
Theor. Comput. Sci.
Felice Cardone
2002 J jnl
Universal Homogeneous Graph-Like Structures And Domains.
Math. Struct. Comput. Sci.
Paolo Boldi, Felice Cardone, Manfred Droste
1999 C conf
An Organisational Theory of Information.
ISCO
Anatol W. Holt, Felice Cardone
1994 J jnl
Combining Type Disciplines.
Ann. Pure Appl. Log.
Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1994 — conf
Strict Finitism and Feasibility.
LCC
Felice Cardone
1992 — conf
An Algebraic Approach to the Interpretation of Recursive Types.
CAAP
Felice Cardone
1991 J jnl
Recursive Types for Fun.
Theor. Comput. Sci.
Felice Cardone
1991 J jnl
Type Inference with Recursive Types: Syntax and Semantics
Inf. Comput.
Felice Cardone, Mario Coppo
1989 A* conf
Relational Semantics for Recursive Types and Bounded Quantification.
ICALP
Felice Cardone