LIPIcs, Volume 52, FSCD 2016

• Delia Kesner and Brigitte Pientka LIPIcs, Volume 52, FSCD'16, Complete Volume 10.4230/LIPIcs.FSCD.2016
• Delia Kesner and Brigitte Pientka Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee 10.4230/LIPIcs.FSCD.2016.0
• Amal Ahmed Compositional Compiler Verification for a Multi-Language World 10.4230/LIPIcs.FSCD.2016.1
• Ichiro Hasuo Coalgebras and Higher-Order Computation: a GoI Approach 10.4230/LIPIcs.FSCD.2016.2
• Gérard Huet Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization 10.4230/LIPIcs.FSCD.2016.3
• Tobias Nipkow Verified Analysis of Functional Data Structures 10.4230/LIPIcs.FSCD.2016.4
• Ryota Akiyoshi and Kazushige Terui Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule. 10.4230/LIPIcs.FSCD.2016.5
• Thorsten Altenkirch and Ambrus Kaposi Normalisation by Evaluation for Dependent Types 10.4230/LIPIcs.FSCD.2016.6
• Ofer Arieli and Arnon Avron Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency 10.4230/LIPIcs.FSCD.2016.7
• Ryuta Arisaka Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus 10.4230/LIPIcs.FSCD.2016.8
• Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation 10.4230/LIPIcs.FSCD.2016.9
• Martin Avanzini and Georg Moser Complexity of Acyclic Term Graph Rewriting 10.4230/LIPIcs.FSCD.2016.10
• Mauricio Ayala-Rincón, Maribel Fernández, and Daniele Nantes-Sobrinho Nominal Narrowing 10.4230/LIPIcs.FSCD.2016.11
• Marcin Benke, Aleksy Schubert, and Daria Walukiewicz-Chrzaszcz Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic 10.4230/LIPIcs.FSCD.2016.12
• Valentin Blot Classical Extraction in Continuation Models 10.4230/LIPIcs.FSCD.2016.13
• Jon Haël Brenas, Rachid Echahed, and Martin Strecker Proving Correctness of Logically Decorated Graph Rewriting Systems 10.4230/LIPIcs.FSCD.2016.14
• Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, and Domenico Ruoppolo New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable 10.4230/LIPIcs.FSCD.2016.15
• Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger Modular Focused Proof Systems for Intuitionistic Modal Logics 10.4230/LIPIcs.FSCD.2016.16
• Thierry Coquand and Bassel Mannaa The Independence of Markov’s Principle in Type Theory 10.4230/LIPIcs.FSCD.2016.17
• Fer-Jan de Vries On Undefined and Meaningless in Lambda Definability 10.4230/LIPIcs.FSCD.2016.18
• Andrej Dudenhefner, Moritz Martens, and Jakob Rehof The Intersection Type Unification Problem 10.4230/LIPIcs.FSCD.2016.19
• Giulio Guerrieri, Luc Pellissier, and Lorenzo Tortora de Falco Computing Connected Proof(-Structure)s From Their Taylor Expansion 10.4230/LIPIcs.FSCD.2016.20
• Makoto Hamana Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories 10.4230/LIPIcs.FSCD.2016.21
• Stefan Kahrs and Connor Smith Non-Omega-Overlapping TRSs are UN 10.4230/LIPIcs.FSCD.2016.22
• Cynthia Kop and Jakob Grue Simonsen Complexity Hierarchies and Higher-Order Cons-Free Rewriting 10.4230/LIPIcs.FSCD.2016.23
• James Laird Weighted Relational Models for Mobility 10.4230/LIPIcs.FSCD.2016.24
• Olivier Laurent Focusing in Orthologic 10.4230/LIPIcs.FSCD.2016.25
• Tomer Libal and Dale Miller Functions-as-Constructors Higher-Order Unification 10.4230/LIPIcs.FSCD.2016.26
• Philippe Malbos and Samuel Mimram Homological Computations for Term Rewriting Systems 10.4230/LIPIcs.FSCD.2016.27
• Naoki Nishida, Adrián Palacios, and Germán Vidal Reversible Term Rewriting 10.4230/LIPIcs.FSCD.2016.28
• Christian Sternagel and Thomas Sternagel Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion 10.4230/LIPIcs.FSCD.2016.29
• Amin Timany and Bart Jacobs Category Theory in Coq 8.5 10.4230/LIPIcs.FSCD.2016.30
• Dmitriy Traytel Formal Languages, Formally and Coinductively 10.4230/LIPIcs.FSCD.2016.31
• Vincent van Oostrom and Yoshihito Toyama Normalisation by Random Descent 10.4230/LIPIcs.FSCD.2016.32
• Takahito Aoto and Yoshihito Toyama Ground Confluence Prover based on Rewriting Induction 10.4230/LIPIcs.FSCD.2016.33
• Krzysztof Bar, Aleks Kissinger, and Jamie Vicary Globular: An Online Proof Assistant for Higher-Dimensional Rewriting 10.4230/LIPIcs.FSCD.2016.34
• Stéphane Gimenez and David Obwaller Interaction Automata and the ia2d Interpreter 10.4230/LIPIcs.FSCD.2016.35
• Franziska Rapp and Aart Middeldorp Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems 10.4230/LIPIcs.FSCD.2016.36