Skip to contents

  5. Moreau, Vincent [Author]; Nguyễn, Lê Thành Dũng (Tito) [Author] ; Vincent Moreau and Lê Thành Dũng (Tito) Nguyễn [Contributor]

    Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations

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

  9. Amin, Nada [Author] ; ACM Special Interest Group on Programming Languages, ACM SIGs

    Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    New York,NY,United States: Association for Computing Machinery, 2022

    Published in: ACM Conferences- ACM Digital Library

  14. Kerjean, Marie [Author] ; Sorbonne Paris Cité [Contributor]; Ehrhard, Thomas [Contributor]

    Reflexive spaces of smooth functions : a logical account of linear partial differential equations ; Espaces réflexifs de fonctions lisses : un compte rendu logique des équations aux dérivées partielles linéaires

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2018-10-19