The relevance of semantic subtyping

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 1, 2003, Pages 88-105

  Dezani Ciancaglini, Mariangiola ^a   Frisch, Alain ^b   Giovannetti, Elio ^a   Motohama, Yoko ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b ECOLE NORMALE SUPÉRIEURE   (France)

^c UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; FUNCTIONS; SEMANTICS; SET THEORY; SYNTACTICS; THEOREM PROVING;

KRIPKE-STYLE SEMANTICS; NEGATION-FREE RELEVANT LOGIC; SEMANTIC SUBTYPING; UNARY RELATIONS;

COMPUTER SCIENCE;

EID: 18944395371     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80492-4     Document Type: Conference Paper

References (14)

1. Anderson A.R., Belnap N.D. Jr, Dunn J.M. Entailment 2. 1992;Princeton
2. S. van Bakel, M. Dezani-Ciancaglini, U. de' Liguoro, and Y. Motohama. A Minimal Relevant Logic and the Call-by-value Lambda Calculus, Technical Report TR-ARP-05-2000, The Australian National University, 2000.
3. Barbanera F., Dezani-Ciancaglini M. Intersection and Union Types. TACS'01, Lecture Notes in Computer Science 526. 1991;651-674 Springer-Verlag, Berlin
4. Barbanera F., Dezani-Ciancaglini M., de'Liguoro U. Intersection and Union Types: Syntax and Semantics. Information and Computation. 119:(2):1995;202-230
5. Barendregt H., Coppo M., Dezani-Ciancaglini M. A Filter Lambda Model and the Completeness of Type Assignment. Journal of Symbolic Logic. 48:(4):1983;931-940
6. Capitani B., Loreti M., Venneri B. Hyperformulae, Parallel Deductions and Intersection Types. BOTH '01, Electronic Notes in Theoretical Computer Science. volume 50:2001;Elsevier Science Publishers
7. Coppo M., Dezani-Ciancaglini M., Honsell F., Longo G. Extended Type Structures and Filter Lambda Models. Logic Colloquium '82. 1984;241-262 North Holland, Amsterdam
8. Dezani-Ciancaglini M., Ghilezan S., Venneri B. The "Relevance" of Intersection and Union Types. Notre Dame Journal of Formal Logic. 38:(2):1997;246-269
9. M. Dezani-Ciancaglini, R. K. Meyer, and Y. Motohama. The Semantics of Entailment Omega. Technical Report TR-ARP-03-2000, The Australian National University, 2000.
10. Hindley J.R. Curry's Type-rules are Complete with Respect to F-semantics too. Theoretical Computer Science. 22:1983;127-133
11. A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In 17th IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos. 137-146, 2002.
12. Mitchell J. Polymorphic Type Inference and Containment. Information and Computation. 76:1988;211-249
13. Routley R., Meyer R.K. The Semantics of Entailment III. Journal of Philosophical Logic. 1:1972;192-208
14. Venneri B. Intersection Types as Logical Formulae. Journal of Logic and Computation. 4:(2):1994;109-124