Lambda Calculus Extended with Segments

H. Balsters

    Research output: Book/Report › Book › Academic

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

    Keywords

    • METIS-118812

    Cite this