scientific article; zbMATH DE number 1361534

MaRDI QIDQ4699352zbMATH OpenFDO

Authors Hirofumi Yokouchi

Publication date 10 November 1999

zbMATH Keywords

lambda calculuspolymorphic typessemantic completenesssemanticssequent calculisurveysyntaxtype assignment

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• \(F\)-semantics for type assignment systems
• Intersection and union types: Syntax and semantics
• Completeness of type assignment systems with intersection, union, and type quantifiers
• Intersection type assignment systems

Cited in

(8)

• \(F\)-semantics for type assignment systems
• Specifying type systems
• A syntactic theory of type generativity and sharing
• Principal Type Schemes for the Strict Type Assignment System
• scientific article; zbMATH DE number 569780 (Why is no real title available?)
• scientific article; zbMATH DE number 709368 (Why is no real title available?)
• Completeness of intersection and union type assignment systems for call-by-value -models
• A type assignment system for game semantics

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 Q4699352)