Felice Cardone

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 1

Top Topics

Wireless Devices

Top Venues

Fundam. Informaticae

Publications

Fabio Alessi, Felice Cardone
Tiered Objects. Fundam. Informaticae 149 (3) (2016)
Felice Cardone
Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt. CiE (2015)
Felice Cardone, Mario Coppo
Decidability Properties of Recursive Types. ICTCS (2003)
Felice Cardone
A coinductive completeness proof for the equivalence of recursive types. Theor. Comput. Sci. 275 (1-2) (2002)
Paolo Boldi, Felice Cardone, Manfred Droste
Universal Homogeneous Graph-Like Structures And Domains. Math. Struct. Comput. Sci. 12 (1) (2002)
Anatol W. Holt, Felice Cardone
An Organisational Theory of Information. ISCO (1999)
Felice Cardone
Strict Finitism and Feasibility. LCC (1994)
Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Combining Type Disciplines. Ann. Pure Appl. Log. 66 (3) (1994)
Felice Cardone
An Algebraic Approach to the Interpretation of Recursive Types. CAAP (1992)
Felice Cardone
Recursive Types for Fun. Theor. Comput. Sci. 83 (1) (1991)
Felice Cardone, Mario Coppo
Type Inference with Recursive Types: Syntax and Semantics Inf. Comput. 92 (1) (1991)
Felice Cardone
Relational Semantics for Recursive Types and Bounded Quantification. ICALP (1989)