LIPIcs, Volume 104, TYPES 2017

• Andreas Abel, Fredrik Nordvall Forsberg, and Ambrus Kaposi LIPIcs, Volume 104, TYPES'17, Complete Volume 10.4230/LIPIcs.TYPES.2017
• Andreas Abel, Fredrik Nordvall Forsberg, and Ambrus Kaposi Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TYPES.2017.0
• Guillaume Allais Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic 10.4230/LIPIcs.TYPES.2017.1
• Andrej Dudenhefner and Jakob Rehof Lower End of the Linial-Post Spectrum 10.4230/LIPIcs.TYPES.2017.2
• Herman Geuvers and Tonny Hurkens Proof Terms for Generalized Natural Deduction 10.4230/LIPIcs.TYPES.2017.3
• Rodolphe Lepigre PML2: Integrated Program Verification in ML 10.4230/LIPIcs.TYPES.2017.4
• Julius Michaelis and Tobias Nipkow Formalized Proof Systems for Propositional Logic 10.4230/LIPIcs.TYPES.2017.5
• Ian Orton and Andrew M. Pitts Decomposing the Univalence Axiom 10.4230/LIPIcs.TYPES.2017.6
• Erik Palmgren On Equality of Objects in Categories in Constructive Type Theory 10.4230/LIPIcs.TYPES.2017.7