Lambda calculus extended with segments : Chapter 1, Sections 1.1 and 1.2 (Introduction)

H. Balsters

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)

    Abstract

    no abstract.
    Original languageEnglish
    Title of host publicationSelected Papers on Automath
    EditorsR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Company
    Pages339-367
    ISBN (Print)0-444-89822-0
    Publication statusPublished - 1994

    Publication series

    NameStudies in Logic
    Volume133

    Fingerprint

    Dive into the research topics of 'Lambda calculus extended with segments : Chapter 1, Sections 1.1 and 1.2 (Introduction)'. Together they form a unique fingerprint.

    Cite this