TYPES 2017 May 29-June 1, 2017 - Budapest, Hungary

23rd International Conference on Types for Proofs and Programs (TYPES 2017)



Andreas Abel and Fredrik Nordvall Forsberg and Ambrus Kaposi (Eds.)
ISBN 978-3-95977-071-2, LIPICS Vol. 104 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Authors
  • Abel, Andreas
  • Allais, Guillaume
  • Dudenhefner, Andrej
  • Geuvers, Herman
  • Hurkens, Tonny
  • Kaposi, Ambrus
  • Lepigre, Rodolphe
  • Michaelis, Julius
  • Nipkow, Tobias
  • Nordvall Forsberg, Fredrik
  • Orton, Ian
  • Palmgren, Erik
  • Pitts, Andrew M.
  • Rehof, Jakob

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Abel, Andreas ; Nordvall Forsberg, Fredrik ; Kaposi, Ambrus

    Abstract | Document (294 KB) | BibTeX

    Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
    Authors: Allais, Guillaume

    Abstract | Document (610 KB) | BibTeX

    Lower End of the Linial-Post Spectrum
    Authors: Dudenhefner, Andrej ; Rehof, Jakob

    Abstract | Document (544 KB) | BibTeX

    Proof Terms for Generalized Natural Deduction
    Authors: Geuvers, Herman ; Hurkens, Tonny

    Abstract | Document (559 KB) | BibTeX

    PML2: Integrated Program Verification in ML
    Authors: Lepigre, Rodolphe

    Abstract | Document (523 KB) | BibTeX

    Formalized Proof Systems for Propositional Logic
    Authors: Michaelis, Julius ; Nipkow, Tobias

    Abstract | Document (485 KB) | BibTeX

    Decomposing the Univalence Axiom
    Authors: Orton, Ian ; Pitts, Andrew M.

    Abstract | Document (542 KB) | BibTeX

    On Equality of Objects in Categories in Constructive Type Theory
    Authors: Palmgren, Erik

    Abstract | Document (302 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI