The Mixed Lambda-Calculus and Combinatory Logic (an overview)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationComputing and Information 1989
    PublisherNorth-Holland
    Publication date1989
    Pages39-45
    Publication statusPublished - 1989
    EventComputing and Information 1989 -
    Duration: 1 Jan 1989 → …

    Conference

    ConferenceComputing and Information 1989
    Period01/01/1989 → …

    Cite this