A system of lambda-calculus possessing facilities for typing and abbreviating: part II : formal description

    Research output: Book/ReportReportPopular

    29 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Hogeschool Eindhoven
    Number of pages7
    Publication statusPublished - 1980

    Publication series

    NameEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume8011

    Cite this