Skip to contents

  6. Birkedal, Lars [Author]; Bizjak, Aleš [Author]; Clouston, Ranald [Author]; Grathwohl, Hans Bugge [Author]; Spitters, Bas [Author]; Vezzosi, Andrea [Author] ; Lars Birkedal and Aleš Bizjak and Ranald Clouston and Hans Bugge Grathwohl and Bas Spitters and Andrea Vezzosi [Contributor]

    Guarded Cubical Type Theory: Path Equality for Guarded Recursion

    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, 2016

  10. Lucatelli Nunes, Fernando [Author]; Vákár, Matthijs I. L. [Author]

    Logical Relations for Partial Features and Automatic Differentiation Correctness

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Oberwolfach: Mathematisches Forschungsinstitut Oberwolfach, June 2023

    Published in: Oberwolfach preprints ; 2023,09

  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

  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

  20. Mahe, Erwan [Author] ; université Paris-Saclay [Contributor]; Le Gall, Pascale [Contributor]; Gaston, Christophe [Contributor]

    An operational semantics of interactions for verifying partially observed executions of distributed systems ; Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués

    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-07-15