Intersection type assignment systems (Q1350344)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Intersection type assignment systems
scientific article

    Statements

    title
    Intersection type assignment systems (English)
    0 references
    author
    Steffen van Bakel
    0 references
    publication date
    27 February 1997
    0 references
    zbMATH DE Number
    983985
    0 references
    zbMATH Keywords
    lambda calculus
    0 references
    describes a project that uses
    ML
    0 references
    Forsythe
    0 references
    OpenAlex ID
    W2158244462
    0 references
    cites work
    Q4880143
    0 references
    Q4268452
    0 references
    Q3221961
    0 references
    Q5565113
    0 references
    Q4490757
    0 references
    Q3345747
    0 references
    Q4490749
    0 references
    Q3659755
    0 references
    Q4281484
    0 references
    Q4163188
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1350344&oldid=34175705"
    Powered by MediaWiki