Skip to main navigation Skip to search Skip to main content

Lambda calculus with postponed substitution

  • N.G. Bruijn, de

Research output: Book/Report › Report › Popular

82 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages8
Publication statusPublished - 1983

Publication series

NameEindhoven University of Technology : Dept of Mathematics : memorandum
Volume8309

Access to Document

  • 699490Final published version, 185 KB

    Cite this