
Search the dblp DataBase
Felice Cardone:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Felice Cardone
An Algebraic Approach to the Interpretation of Recursive Types. [Citation Graph (0, 0)][DBLP] CAAP, 1992, pp:6685 [Conf]
 Felice Cardone
Relational Semantics for Recursive Types and Bounded Quantification. [Citation Graph (0, 0)][DBLP] ICALP, 1989, pp:164178 [Conf]
 Felice Cardone, Mario Coppo
Decidability Properties of Recursive Types. [Citation Graph (0, 0)][DBLP] ICTCS, 2003, pp:242255 [Conf]
 Anatol W. Holt, Felice Cardone
An Organisational Theory of Information. [Citation Graph (0, 0)][DBLP] ISCO, 1999, pp:7791 [Conf]
 Felice Cardone
Strict Finitism and Feasibility. [Citation Graph (0, 0)][DBLP] LCC, 1994, pp:121 [Conf]
 Felice Cardone, Mariangiola DezaniCiancaglini, Ugo de'Liguoro
Combining Type Disciplines. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1994, v:66, n:3, pp:197230 [Journal]
 Felice Cardone, Mario Coppo
Type Inference with Recursive Types: Syntax and Semantics [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:92, n:1, pp:4880 [Journal]
 Paolo Boldi, Felice Cardone, Manfred Droste
Universal Homogeneous GraphLike Structures And Domains. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:91109 [Journal]
 Felice Cardone
A coinductive completeness proof for the equivalence of recursive types. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:275, n:12, pp:575587 [Journal]
 Felice Cardone
Recursive Types for Fun. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1991, v:83, n:1, pp:2956 [Journal]
Search in 0.001secs, Finished in 0.002secs
