Degrees of sensible lambda theories (Q4194931)

From MaRDI portal
scientific article; zbMATH DE number 3634220
Language Label Description Also known as
English
Degrees of sensible lambda theories
scientific article; zbMATH DE number 3634220

    Statements

    title
    Degrees of sensible lambda theories (English)
    0 references
    DOI
    10.2307/2271947
    0 references
    author
    Jan A. Bergstra
    0 references
    Jan Willem Klop
    0 references
    Henri Volken
    0 references
    H. P. Barendregt
    0 references
    publication date
    1978
    0 references
    zbMATH DE Number
    3634220
    0 references
    zbMATH Keywords
    Lambda-Conversion
    0 references
    Degrees of Sensible Lambda Theories
    0 references
    Maximal Consistent Extension
    0 references
    Completeness
    0 references
    OpenAlex ID
    W2109869960
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4194931&oldid=34626889"
    Powered by MediaWiki