CORE

🇺🇦   make metadata, not war

    7 research outputs found

    Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic

    Author
    Publication venue
    LIPIcs - Leibniz International Proceedings in Informatics. Computer Science Logic 2013 (CSL 2013)
    Publication date
    Field of study
    Get PDF
    Dagstuhl Research Online Publication Server

    Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic

    Author
    Publication venue
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
    Publication date
    Field of study
    No full text
    The Australian National University

    24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7-10, 2015, Berlin, Germany

    Author
    Publication venue
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
    Publication date
    Field of study
    Get PDF
    Digitale Bibliothek Thüringen
    corecore