Elaborating intersection and union types (Q5168879): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Twelf / rank
 
Normal rank

Revision as of 15:41, 29 February 2024

scientific article; zbMATH DE number 6318856
Language Label Description Also known as
English
Elaborating intersection and union types
scientific article; zbMATH DE number 6318856

    Statements

    Elaborating intersection and union types (English)
    0 references
    0 references
    21 July 2014
    0 references
    intersection types
    0 references

    Identifiers