Skip to main navigation Skip to search Skip to main content

Upper bounds for the length of normal forms and for the length of reduction sequence in lambda-typed lambda calculus

  • N.G. Bruijn, de

    Research output: Book/Report › Report › Popular

    94 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages14
    Publication statusPublished - 1985

    Access to Document

    • 598036Final published version, 362 KB

      Cite this