Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

Anders Schack-Nielsen, Carsten Schürmann

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationInternational Joint Conference on Automated Reasoning (IJCAR)
    Number of pages14
    PublisherSpringer
    Publication date2010
    Pages1
    Chapter14
    Publication statusPublished - 2010
    SeriesLecture Notes in Computer Science
    Number6173

    Cite this