Skip to contents

  2. Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6602

  11. Leroy, Xavier [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Algorithms and Computation Theory

    Proceedings of the 2015 Conference on Certified Programs and Proofs

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York, NY: ACM, 2015

    Published in: ACM Conferences- ACM Digital Library

  16. Catta, Davide [Author] ; Montpellier [Contributor]; Retoré, Christian [Contributor]; Moot, Richard [Contributor]; Quatrini, Myriam [Contributor]

    Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques ; Proofs as games and games as proofs : dialogical semantics of logical and natural languages

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2021-11-23