scientific article; zbMATH DE number 1361534

MaRDI QIDQ4699352zbMATHFDO

Authors Hirofumi Yokouchi

Publication date 10 November 1999

zbMATH Keywords

surveysemanticssequent calculisyntaxlambda calculustype assignmentsemantic completenesspolymorphic types

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

(7)

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

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)