LIPIcs, Volume 38, TLCA 2015

• Thorsten Altenkirch LIPIcs, Volume 38, TLCA'15, Complete Volume 10.4230/LIPIcs.TLCA.2015
• Thorsten Altenkirch Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TLCA.2015.i
• Bahareh Afshari, Stefan Hetzl, and Graham E. Leigh Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars 10.4230/LIPIcs.TLCA.2015.1
• Benedikt Ahrens, Paolo Capriotti, and Régis Spadotti Non-Wellfounded Trees in Homotopy Type Theory 10.4230/LIPIcs.TLCA.2015.17
• Ali Assaf Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting 10.4230/LIPIcs.TLCA.2015.31
• Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, and Sam Staton Models for Polymorphism over Physical Dimension 10.4230/LIPIcs.TLCA.2015.45
• Marc Bagnol MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams 10.4230/LIPIcs.TLCA.2015.60
• Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de’Liguoro, and Jakob Rehof Mixin Composition Synthesis Based on Intersection Types 10.4230/LIPIcs.TLCA.2015.76
• Marc Bezem, Thierry Coquand, and Erik Parmann Non-Constructivity in Kan Simplicial Sets 10.4230/LIPIcs.TLCA.2015.92
• Dariusz Biernacki and Piotr Polesiuk Logical Relations for Coherence of Effect Subtyping 10.4230/LIPIcs.TLCA.2015.107
• Antonio Bucciarelli, Delia Kesner, and Simona Ronchi Della Rocca Observability for Pair Pattern Calculi 10.4230/LIPIcs.TLCA.2015.123
• Simon Castellan, Pierre Clairambault, and Peter Dybjer Undecidability of Equality in the Free Locally Cartesian Closed Category 10.4230/LIPIcs.TLCA.2015.138
• Martín Hötzel Escardó and Chuangjie Xu The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation 10.4230/LIPIcs.TLCA.2015.153
• José Espírito Santo Curry-Howard for Sequent Calculus at Last! 10.4230/LIPIcs.TLCA.2015.165
• Elliot Fairweather, Maribel Fernández, Nora Szasz, and Alvaro Tasistro Dependent Types for Nominal Terms with Atom Substitutions 10.4230/LIPIcs.TLCA.2015.180
• Jonas Frey Realizability Toposes from Specifications 10.4230/LIPIcs.TLCA.2015.196
• Giulio Guerrieri, Luca Paolini, and Simona Ronchi Della Rocca Standardization of a Call-By-Value Lambda-Calculus 10.4230/LIPIcs.TLCA.2015.211
• André Hirschowitz, Tom Hirschowitz, and Nicolas Tabareau Wild omega-Categories for the Homotopy Hypothesis in Type Theory 10.4230/LIPIcs.TLCA.2015.226
• Martin Hofmann and Georg Moser Multivariate Amortised Resource Analysis for Term Rewrite Systems 10.4230/LIPIcs.TLCA.2015.241
• Jean-Pierre Jouannaud and Jianqi Li Termination of Dependently Typed Rewrite Rules 10.4230/LIPIcs.TLCA.2015.257
• Brigitte Pientka and Andreas Abel Well-Founded Recursion over Contextual Objects 10.4230/LIPIcs.TLCA.2015.273
• Brian F. Redmond Polynomial Time in the Parametric Lambda Calculus 10.4230/LIPIcs.TLCA.2015.288
• Colin Riba Fibrations of Tree Automata 10.4230/LIPIcs.TLCA.2015.302
• Gabriel Scherer Multi-Focusing on Extensional Rewriting with Sums 10.4230/LIPIcs.TLCA.2015.317
• Yuting Wang and Kaustuv Chaudhuri A Proof-theoretic Characterization of Independence in Type Theory 10.4230/LIPIcs.TLCA.2015.332