A new definition of correctness of expressions in lambda typed lambda calculus

N.G. Bruijn, de

Research output: Book/ReportReportPopular

41 Downloads (Pure)
Original languageDutch
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages11
Publication statusPublished - 1982

Cite this