TYPES 2017
May 29 to 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