A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings

N.G. Bruijn, de

Research output: Book/ReportReportPopular

35 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages10
Publication statusPublished - 1977

Publication series

NameEindhoven University of Technology : Dept of Mathematics : memorandum
Volume7710

Cite this