scientific article; zbMATH DE number 1361534

zbMATH Open0935.03025MaRDI QIDQ4699352FDOQ4699352

Authors: Hirofumi Yokouchi 

Publication date: 10 November 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

surveysemanticssequent calculisyntaxlambda calculustype assignmentsemantic completenesspolymorphic types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (7)

• \(F\)-semantics for type assignment systems
• A type assignment system for game semantics
• Title not available (Why is that?)
• Principal Type Schemes for the Strict Type Assignment System
• Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models
• Title not available (Why is that?)
• Specifying type systems

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)