LIPIcs, Volume 130, TYPES 2018

• Peter Dybjer, José Espírito Santo, and Luís Pinto LIPIcs, Volume 130, TYPES'18, Complete Volume 10.4230/LIPIcs.TYPES.2018
• Peter Dybjer, José Espírito Santo, and Luís Pinto Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TYPES.2018.0
• Ulrich Berger, Ralph Matthes, and Anton Setzer Martin Hofmann’s Case for Non-Strictly Positive Data Types 10.4230/LIPIcs.TYPES.2018.1
• Andrej Dudenhefner and Jakob Rehof A Simpler Undecidability Proof for System F Inhabitation 10.4230/LIPIcs.TYPES.2018.2
• Iosif Petrakis Dependent Sums and Dependent Products in Bishop’s Set Theory 10.4230/LIPIcs.TYPES.2018.3
• Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, and Elena Zucca Semantic Subtyping for Non-Strict Languages 10.4230/LIPIcs.TYPES.2018.4
• Anders Schlichtkrull New Formalized Results on the Meta-Theory of a Paraconsistent Logic 10.4230/LIPIcs.TYPES.2018.5
• Filippo Sestini Normalization by Evaluation for Typed Weak lambda-Reduction 10.4230/LIPIcs.TYPES.2018.6
• Taichi Uemura Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing 10.4230/LIPIcs.TYPES.2018.7