scientific article; zbMATH DE number 761284

MaRDI QIDQ4835619zbMATH OpenFDO

Authors Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Publication date 3 July 1995

zbMATH Keywords

natural deductionparallel reduction of termssequent calculustype inference system

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Semantics in the theory of computing (68Q55)

Recommendations

• Combining type disciplines
• Intersection and union types: Syntax and semantics
• On type inference in the intersection type discipline
• scientific article; zbMATH DE number 445157

Cited in

(18)

• Combining type disciplines
• Singleton, union, and intersection types for program extraction
• Intersection and union types: Syntax and semantics
• Syntactical data types of system F
• Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction
• Type Fusion
• Church and Curry: combining intrinsic and extrinsic typing
• Unified syntax with iso-types
• The recursive union of some gradual types
• Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
• scientific article; zbMATH DE number 3898200 (Why is no real title available?)
• scientific article; zbMATH DE number 1292292 (Why is no real title available?)
• scientific article; zbMATH DE number 1479640 (Why is no real title available?)
• scientific article; zbMATH DE number 1377611 (Why is no real title available?)
• Taming the merge operator
• Singleton, union and intersection types for program extraction
• scientific article; zbMATH DE number 2242600 (Why is no real title available?)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4835619)