Skip to contents

  2. Arkor, Nathanael [Author]; McDermott, Dylan [Author] ; Nathanael Arkor and Dylan McDermott [Contributor]

    Abstract Clones for Abstract Syntax

    Articles
    View online
    Schließen

    Access

    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

  3. Milliet, Cédric [Author] ; Lyon 1 [Contributor]; Wagner, Frank-Olaf [Contributor]

    Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés ; Algebraic properties of small and weakly small structures, Cantor-Bendixson rank and generalised topological spaces

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2009-12-10

  4. Bauer, Ulrich [Author] ; Wardetzky, Max [Contributor]; Schaback, Robert [Contributor]; Edelsbrunner, Herbert [Contributor]

    Persistence in discrete Morse theory ; Persistenz in der diskreten Morse-Theorie

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    Georg-August-Universität Göttingen: eDiss, 2013-01-30T23:50:55Z

  6. Arkor, Nathanael [Author]

    Algebraic models of simple type theories: a polynomial approach: Q/A Session E - Paper E5.D

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Published in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)