scientific article; zbMATH DE number 4028891

MaRDI QIDQ3769958zbMATH OpenFDO

Authors Hassan Aït-Kaci

Publication date 1986

zbMATH Keywords

calculus of type subsumptiondata type specificationprogramming languagerepresentation and classification of objectssemantics

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1231606
• Coherence of subsumption for monadic types
• Subtyping can have a simple semantics
• Coherence and transitivity of subtyping as entailment
• Computations on types

Cited in

(4)

• A unification-based, integrated natural language processing system
• A proposal for comparison of types in Pascal and associated semantic models
• Type structure and chiral breaking in the standard model
• Order-sorted unification

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