Skip to main navigation Skip to search Skip to main content

Refining reduction in the lambda calculus

    Research output: Book/Report › Report › Academic

    314 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages15
    Publication statusPublished - 1994

    Publication series

    NameComputing science notes
    Volume9418

    Access to Document

    • 9411070Final published version, 664 KB

      Cite this