Skip to contents

  11. Garcia-Contreras, Isabel [Author]; Morales, José F. [Author]; Hermenegildo, Manuel V. [Author] ; Isabel Garcia-Contreras and José F. Morales and Manuel V. Hermenegildo [Contributor]

    Towards Incremental and Modular Context-Sensitive Analysis

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

  12. Jafarrahmani, Farzad [Author] ; Université Paris Cité [Contributor]; Ehrhard, Thomas [Contributor]

    Fixpoints of types in linear logic from a Curry-Howard-Lambek perspective ; Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2023-01-25

  13. Fortier, Jerome [Author] ; Aix-Marseille [Contributor]; Université du Québec à Montréal [Contributor]; Santocanale, Luigi [Contributor]; Brlek, Srecko [Contributor]

    Puissance expressive des preuves circulaires ; Expressive power of circular proofs

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2014-12-19

  17. Bruse, Florian [Author] ; Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik [Contributor]; Lange, Martin [Contributor]; Hague, Matthew [Contributor]

    Extremal Fixpoints for Higher-Order Modal Logic - [published Version]

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv), 2018-10