Towards Lambda Calculus Order-Incompleteness (Q4916175)

From MaRDI portal
Revision as of 11:13, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6155984
Language Label Description Also known as
English
Towards Lambda Calculus Order-Incompleteness
scientific article; zbMATH DE number 6155984

    Statements

    title
    Towards Lambda Calculus Order-Incompleteness (English)
    0 references
    publication date
    19 April 2013
    0 references
    author
    Antonino Salibra
    0 references
    cites work
    Q4886631
    0 references
    Q4160405
    0 references
    Q3934450
    0 references
    Q3221961
    0 references
    Q5565113
    0 references
    Q5572358
    0 references
    Q3024839
    0 references
    Q3965241
    0 references
    Q3997016
    0 references
    Q3751631
    0 references
    Q3837997
    0 references
    Q2729668
    0 references
    Q3960746
    0 references
    Q5649639
    0 references
    Data Types as Lattices
    0 references
    Q3661543
    0 references
    Q4385538
    0 references
    Q5613067
    0 references
    Q4143774
    0 references

    Identifiers

    zbMATH DE Number
    6155984
    0 references
    OpenAlex ID
    W2002993322
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4916175&oldid=37235396"
    Powered by MediaWiki