Felice Cardone

According to our database, Felice Cardone authored at least 13 papers between 1989 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Tiered Objects.

Fabio Alessi, Felice Cardone

Fundam. Informaticae, 2016

2015

Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt.

Felice Cardone

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2009

Lambda-Calculus and Combinators in the 20th Century.

Felice Cardone, J. Roger Hindley

Proceedings of the Logic from Russell to Church, 2009

2003

Decidability Properties of Recursive Types.

Felice Cardone, Mario Coppo

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002

A coinductive completeness proof for the equivalence of recursive types.

Felice Cardone

Theor. Comput. Sci., 2002

Universal Homogeneous Graph-Like Structures And Domains.

Paolo Boldi, Felice Cardone, Manfred Droste

Math. Struct. Comput. Sci., 2002

1999

An Organisational Theory of Information.

Anatol W. Holt, Felice Cardone

Proceedings of the Information System Concepts: An Integrated Discipline Emerging, 1999

1994

Combining Type Disciplines.

Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Ann. Pure Appl. Log., 1994

Strict Finitism and Feasibility.

Felice Cardone

Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

1992

An Algebraic Approach to the Interpretation of Recursive Types.

Felice Cardone

Proceedings of the CAAP '92, 1992

1991

Type Inference with Recursive Types: Syntax and Semantics

Felice Cardone, Mario Coppo

Inf. Comput., May, 1991

Recursive Types for Fun.

Felice Cardone

Theor. Comput. Sci., 1991

1989

Relational Semantics for Recursive Types and Bounded Quantification.

Felice Cardone

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989