dblp.uni-trier.dewww.uni-trier.de

Felice Cardone Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Paolo Boldi [9]
2Mario Coppo [3] [10]
3Mariangiola Dezani-Ciancaglini [5]
4Manfred Droste [9]
5Anatol W. Holt [7]
6Ugo de'Liguoro [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)