A note on one-round beta reduction

N.G. Bruijn, de

Research output: Book/Report › Report › Popular

27 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages10
Publication statusPublished - 1984

Access to Document

  • 598131Final published version, 186 KB

    Cite this

    Bruijn, de, N. G. (1984). A note on one-round beta reduction. Technische Universiteit Eindhoven.