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

Anders Schack-Nielsen, Carsten Schürmann

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelInternational Joint Conference on Automated Reasoning (IJCAR)
    Antal sider14
    ForlagSpringer
    Publikationsdato2010
    Sider1
    Kapitel14
    StatusUdgivet - 2010
    NavnLecture Notes in Computer Science
    Nummer6173

    Citationsformater