|
Search the dblp DataBase
Felice Cardone:
[Publications]
[Author Rank by year]
[Co-authors]
[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:66-85 [Conf]
- Felice Cardone
Relational Semantics for Recursive Types and Bounded Quantification. [Citation Graph (0, 0)][DBLP] ICALP, 1989, pp:164-178 [Conf]
- Felice Cardone, Mario Coppo
Decidability Properties of Recursive Types. [Citation Graph (0, 0)][DBLP] ICTCS, 2003, pp:242-255 [Conf]
- Anatol W. Holt, Felice Cardone
An Organisational Theory of Information. [Citation Graph (0, 0)][DBLP] ISCO, 1999, pp:77-91 [Conf]
- Felice Cardone
Strict Finitism and Feasibility. [Citation Graph (0, 0)][DBLP] LCC, 1994, pp:1-21 [Conf]
- Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Combining Type Disciplines. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1994, v:66, n:3, pp:197-230 [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:48-80 [Journal]
- Paolo Boldi, Felice Cardone, Manfred Droste
Universal Homogeneous Graph-Like Structures And Domains. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:91-109 [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:1-2, pp:575-587 [Journal]
- Felice Cardone
Recursive Types for Fun. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1991, v:83, n:1, pp:29-56 [Journal]
Search in 0.002secs, Finished in 0.003secs
|