LIPIcs, Volume 188, TYPES 2020

• Ugo de'Liguoro, Stefano Berardi, and Thorsten Altenkirch LIPIcs, Volume 188, TYPES 2020, Complete Volume 10.4230/LIPIcs.TYPES.2020
• Ugo de'Liguoro, Stefano Berardi, and Thorsten Altenkirch Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TYPES.2020.0
• Andreas Abel On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction 10.4230/LIPIcs.TYPES.2020.1
• Reynald Affeldt and David Nowak Extending Equational Monadic Reasoning with Monad Transformers 10.4230/LIPIcs.TYPES.2020.2
• Guido De Luca and Carlos Luna Towards a Certified Reference Monitor of the Android 10 Permission System 10.4230/LIPIcs.TYPES.2020.3
• José Espírito Santo, Ralph Matthes, and Luís Pinto Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic 10.4230/LIPIcs.TYPES.2020.4
• Asta Halkjær From Synthetic Completeness for a Terminating Seligman-Style Tableau System 10.4230/LIPIcs.TYPES.2020.5
• Gabriel Hondet and Frédéric Blanqui Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory 10.4230/LIPIcs.TYPES.2020.6
• Furio Honsell, Marina Lenisa, and Ivan Scagnetto Λ-Symsym: An Interactive Tool for Playing with Involutions and Types 10.4230/LIPIcs.TYPES.2020.7
• Jasper Hugunin Why Not W? 10.4230/LIPIcs.TYPES.2020.8
• Harry Maclean and Zhaohui Luo Subtype Universes 10.4230/LIPIcs.TYPES.2020.9
• Matteo Manighetti, Dale Miller, and Alberto Momigliano Two Applications of Logic Programming to Coq 10.4230/LIPIcs.TYPES.2020.10
• Paweł Urzyczyn Duality in Intuitionistic Propositional Logic 10.4230/LIPIcs.TYPES.2020.11