Skip to main navigation Skip to search Skip to main content

Lambda calculus extended with segments

  • H. Balsters

    Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

    319 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Mathematics and Computer Science
    Supervisors/Advisors
    • de Bruijn, Nicolaas , Promotor
    • Peremans, W., Promotor
    Award date4 Mar 1986
    Place of PublicationEindhoven
    Publisher
    DOIs
    Publication statusPublished - 1986

    Access to Document

    • 242825Final published version, 3.2 MB

      Cite this