LIPIcs, Volume 175, TYPES 2019

• Marc Bezem and Assia Mahboubi LIPIcs, Volume 175, TYPES 2019, Complete Volume 10.4230/LIPIcs.TYPES.2019
• Marc Bezem and Assia Mahboubi Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TYPES.2019.0
• Michael Kohlhase, Florian Rabe, and Makarius Wenzel Making Isabelle Content Accessible in Knowledge Representation Formats 10.4230/LIPIcs.TYPES.2019.1
• Jesper Cockx Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules 10.4230/LIPIcs.TYPES.2019.2
• Sandra Alves, Delia Kesner, and Daniel Ventura A Quantitative Understanding of Pattern Matching 10.4230/LIPIcs.TYPES.2019.3
• Thorsten Altenkirch and Colin Geniet Big Step Normalisation for Type Theory 10.4230/LIPIcs.TYPES.2019.4
• Gun Pinyo and Nicolai Kraus From Cubes to Twisted Cubes via Graph Morphisms in Type Theory 10.4230/LIPIcs.TYPES.2019.5
• Ambrus Kaposi, András Kovács, and Ambroise Lafont For Finitary Induction-Induction, Induction Is Enough 10.4230/LIPIcs.TYPES.2019.6
• Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, and Stephanie Weirich Eta-Equivalence in Core Dependent Haskell 10.4230/LIPIcs.TYPES.2019.7
• Stefano Piceghello Coherence for Monoidal Groupoids in HoTT 10.4230/LIPIcs.TYPES.2019.8
• Stefan Monnier and Nathaniel Bos Is Impredicativity Implicitly Implicit? 10.4230/LIPIcs.TYPES.2019.9
• Nils Anders Danielsson Higher Inductive Type Eliminators Without Paths 10.4230/LIPIcs.TYPES.2019.10