Skip to contents

  4. Ronchi Della Rocca, Simona [Editor] ; Computer Science Logic 22. 2013 Turin, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, European Association for Computer Science Logic

    Computer Science Logic 2013 : 22nd Annual Conference of the EACSL, CSL '13, September 2-5, 2013, Torino, Italy

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Wadern, September, 2013

    Published in: Leibniz international proceedings in informatics ; 23

  8. Kerinec, Axel [Author]; Manzonetto, Giulio [Author]; Ronchi Della Rocca, Simona [Author] ; Axel Kerinec and Giulio Manzonetto and Simona Ronchi Della Rocca [Contributor]

    Call-By-Value, Again!

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  9. Dawar, Anuj [Author]; Kozen, Dexter [Author]; Ronchi Della Rocca, Simona [Author] ; Anuj Dawar and Dexter Kozen and Simona Ronchi Della Rocca [Contributor]

    The Ackermann Award 2015

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  13. De Benedetti, Erika [Author] ; Lyon, École normale supérieure [Contributor]; Università di Torino (Turin, Italie) [Contributor]; Baillot, Patrick [Contributor]; Ronchi Della Rocca, Simona [Contributor]

    Linear logic, type assignment systems and implicit computational complexity ; Logique linéaire, systèmes de types et complexité implicite

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2015-02-10

  14. Gaboardi, Marco [Author] ; Vandoeuvre-les-Nancy, INPL [Contributor]; Université de Torino - ITALIE [Contributor]; Marion, Jean-Yves [Contributor]; Ronchi Della Rocca, Simona [Contributor]

    Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation ; Linearity : an analytic tool in the study of complexity and semantics of programming 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, 2007-12-12

  15. Ronchi Della Rocca, Simona

    Preface

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Elsevier BV, 2016

    Published in: Information and Computation, 248 (2016), Seite 1

  16. Ronchi Della Rocca, Simona

    Intersection Typed λ-calculus

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Elsevier BV, 2003

    Published in: Electronic Notes in Theoretical Computer Science, 70 (2003) 1, Seite 163-181