Degrees of sensible lambda theories (Q4194931)

From MaRDI portal
Revision as of 17:47, 26 October 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    H. P. Barendregt
    0 references
    Jan A. Bergstra
    0 references
    Jan Willem Klop
    0 references
    Henri Volken
    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
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4194931&oldid=8659542"
      Powered by MediaWiki