Skip to contents

  4. Madiot, Jean-Marie [Author] ; Lyon, École normale supérieure [Contributor]; Università degli studi (Bologne, Italie) [Contributor]; Hirschkoff, Daniel [Contributor]; Sangiorgi, Davide [Contributor]

    Higher-order languages : dualities and bisimulation enhancements ; Langages d'ordre supérieur : dualités et techniques de bisimulation

    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-03-31

  13. 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

  14. Peyrot, Loîc [Author] ; Université Paris Cité [Contributor]; Kesner, Delia [Contributor]

    From proof terms to programs : . an operational and quantitative study of intuistionistic Curry-Howard calculi ; Des termes de preuves aux programmes : une étude opérationnelle et quantitative de calculs Curry-Howard intuitionnistes

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-11-18

  16. Olimpieri, Federico [Author] ; Aix-Marseille [Contributor]; Università degli studi Roma Tre [Contributor]; Régnier, Laurent [Contributor]; Vaux, Lionel [Contributor]; Tortora de Falco, Lorenzo [Contributor]

    Intersection types and ressource calculi in the denotational semantics of lambda-calculus ; Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2020-11-27

  18. 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