Lambda Calculus Extended with Segments

H. Balsters

    Research output: Book/ReportBookAcademic

    1 Citation (Scopus)
    Original languageUndefined
    Place of PublicationAmsterdam
    PublisherNorth Holland, Elseviers
    Number of pages30
    ISBN (Print)0-444-898220
    Publication statusPublished - 1994

    Keywords

    • METIS-118812

    Cite this