TYPES 2015 May 18-21, 2015 - Tallinn, Estonia

21st International Conference on Types for Proofs and Programs (TYPES 2015)



Tarmo Uustalu (Ed.)
ISBN 978-3-95977-030-9, LIPICS Vol. 69 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 6 MB)
Search Publication Server


Authors
  • Adams, Robin
  • Ahrens, Benedikt
  • Altenkirch, Thorsten
  • Ancona, Davide
  • Bonelli, Eduardo
  • Cohen, Cyril
  • Coquand, Thierry
  • Edi, Juan
  • Giannini, Paola
  • Huber, Simon
  • Jacobs, Bart
  • Kaposi, Ambrus
  • Mörtberg, Anders
  • Matthes, Ralph
  • Paolini, Luca
  • Parmann, Erik
  • Piccolo, Mauro
  • Pizani Flor, Joăo Paulo
  • Roversi, Luca
  • Sijsling, Yorick
  • Swierstra, Wouter
  • Uustalu, Tarmo
  • Viso, Andrés
  • Zucca, Elena

  •   
    Front Matter, Table of Contents, Preface, External Reviewers
    Authors: Uustalu, Tarmo

    Abstract | Document (274 KB) | BibTeX

    A Type Theory for Probabilistic and Bayesian Reasoning
    Authors: Adams, Robin ; Jacobs, Bart

    Abstract | Document (709 KB) | BibTeX

    Heterogeneous Substitution Systems Revisited
    Authors: Ahrens, Benedikt ; Matthes, Ralph

    Abstract | Document (611 KB) | BibTeX

    Towards a Cubical Type Theory without an Interval
    Authors: Altenkirch, Thorsten ; Kaposi, Ambrus

    Abstract | Document (603 KB) | BibTeX

    Constrained Polymorphic Types for a Calculus with Name Variables
    Authors: Ancona, Davide ; Giannini, Paola ; Zucca, Elena

    Abstract | Document (735 KB) | BibTeX

    Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom
    Authors: Cohen, Cyril ; Coquand, Thierry ; Huber, Simon ; Mörtberg, Anders

    Abstract | Document (669 KB) | BibTeX

    Efficient Type Checking for Path Polymorphism
    Authors: Edi, Juan ; Viso, Andrés ; Bonelli, Eduardo

    Abstract | Document (707 KB) | BibTeX

    A Certified Study of a Reversible Programming Language
    Authors: Paolini, Luca ; Piccolo, Mauro ; Roversi, Luca

    Abstract | Document (655 KB) | BibTeX

    Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation
    Authors: Parmann, Erik

    Abstract | Document (540 KB) | BibTeX

    Pi-Ware: Hardware Description and Verification in Agda
    Authors: Pizani Flor, Joăo Paulo ; Swierstra, Wouter ; Sijsling, Yorick

    Abstract | Document (690 KB) | BibTeX

      




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