Felice Cardone

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
c5		Felice Cardone, Mario Coppo: Decidability Properties of Recursive Types. ICTCS 2003: 242-255
	2002
j5		Paolo Boldi, Felice Cardone, Manfred Droste: Universal Homogeneous Graph-Like Structures And Domains. Mathematical Structures in Computer Science 12(1): 91-109 (2002)
j4		Felice Cardone: A coinductive completeness proof for the equivalence of recursive types. Theor. Comput. Sci. 275(1-2): 575-587 (2002)
	1999
c4		Anatol W. Holt, Felice Cardone: An Organisational Theory of Information. ISCO 1999: 77-91
	1994
j3		Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994)
c3		Felice Cardone: Strict Finitism and Feasibility. LCC 1994: 1-21
	1992
c2		Felice Cardone: An Algebraic Approach to the Interpretation of Recursive Types. CAAP 1992: 66-85
	1991
j2		Felice Cardone, Mario Coppo: Type Inference with Recursive Types: Syntax and Semantics. Inf. Comput. 92(1): 48-80 (1991)
j1		Felice Cardone: Recursive Types for Fun. Theor. Comput. Sci. 83(1): 29-56 (1991)
	1989
c1		Felice Cardone: Relational Semantics for Recursive Types and Bounded Quantification. ICALP 1989: 164-178

Coauthor Index

1	Paolo Boldi	[j5]
2	Mario Coppo	[c5] [j2]
3	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[j3]
4	Manfred Droste	[j5]
5	Anatol W. Holt	[c4]
6	Ugo de'Liguoro	[j3]

Last update Sun May 19 14:57:57 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page