FSCD 2016 June 22-26, 2016 - Porto, Portugal

1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)



Delia Kesner and Brigitte Pientka (Eds.)
ISBN 978-3-95977-010-1, LIPICS Vol. 52 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 18 MB)
Search Publication Server


Authors
  • Ahmed, Amal
  • Akiyoshi, Ryota
  • Altenkirch, Thorsten
  • Aoto, Takahito
  • Arieli, Ofer
  • Arisaka, Ryuta
  • Aristizábal, Andrés
  • Avanzini, Martin
  • Avron, Arnon
  • Ayala-Rincón, Mauricio
  • Bar, Krzysztof
  • Benke, Marcin
  • Biernacki, Dariusz
  • Blot, Valentin
  • Brenas, Jon Haël
  • Breuvart, Flavien
  • Chaudhuri, Kaustuv
  • Coquand, Thierry
  • de Vries, Fer-Jan
  • Dudenhefner, Andrej
  • Echahed, Rachid
  • Fernández, Maribel
  • Gimenez, Stéphane
  • Grue Simonsen, Jakob
  • Guerrieri, Giulio
  • Hamana, Makoto
  • Hasuo, Ichiro
  • Huet, Gérard
  • Jacobs, Bart
  • Kahrs, Stefan
  • Kaposi, Ambrus
  • Kesner, Delia
  • Kissinger, Aleks
  • Kop, Cynthia
  • Laird, James
  • Laurent, Olivier
  • Lenglet, Sergueď
  • Libal, Tomer
  • Malbos, Philippe
  • Mannaa, Bassel
  • Manzonetto, Giulio
  • Marin, Sonia
  • Martens, Moritz
  • Middeldorp, Aart
  • Miller, Dale
  • Mimram, Samuel
  • Moser, Georg
  • Nantes-Sobrinho, Daniele
  • Nipkow, Tobias
  • Nishida, Naoki
  • Obwaller, David
  • Palacios, Adrián
  • Pellissier, Luc
  • Pientka, Brigitte
  • Polesiuk, Piotr
  • Polonsky, Andrew
  • Rapp, Franziska
  • Rehof, Jakob
  • Ruoppolo, Domenico
  • Schubert, Aleksy
  • Smith, Connor
  • Sternagel, Christian
  • Sternagel, Thomas
  • Straßburger, Lutz
  • Strecker, Martin
  • Terui, Kazushige
  • Timany, Amin
  • Tortora de Falco, Lorenzo
  • Toyama, Yoshihito
  • Traytel, Dmitriy
  • van Oostrom, Vincent
  • Vicary, Jamie
  • Vidal, Germán
  • Walukiewicz-Chrzaszcz, Daria

  •   
    Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee
    Authors: Kesner, Delia ; Pientka, Brigitte

    Abstract | Document (362 KB) | BibTeX

    Compositional Compiler Verification for a Multi-Language World
    Authors: Ahmed, Amal

    Abstract | Document (252 KB) | BibTeX

    Coalgebras and Higher-Order Computation: a GoI Approach
    Authors: Hasuo, Ichiro

    Abstract | Document (271 KB) | BibTeX

    Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization
    Authors: Huet, Gérard

    Abstract | Document (230 KB) | BibTeX

    Verified Analysis of Functional Data Structures
    Authors: Nipkow, Tobias

    Abstract | Document (263 KB) | BibTeX

    Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.
    Authors: Akiyoshi, Ryota ; Terui, Kazushige

    Abstract | Document (583 KB) | BibTeX

    Normalisation by Evaluation for Dependent Types
    Authors: Altenkirch, Thorsten ; Kaposi, Ambrus

    Abstract | Document (523 KB) | BibTeX

    Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency
    Authors: Arieli, Ofer ; Avron, Arnon

    Abstract | Document (567 KB) | BibTeX

    Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
    Authors: Arisaka, Ryuta

    Abstract | Document (568 KB) | BibTeX

    Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
    Authors: Aristizábal, Andrés ; Biernacki, Dariusz ; Lenglet, Sergueď ; Polesiuk, Piotr

    Abstract | Document (602 KB) | BibTeX

    Complexity of Acyclic Term Graph Rewriting
    Authors: Avanzini, Martin ; Moser, Georg

    Abstract | Document (654 KB) | BibTeX

    Nominal Narrowing
    Authors: Ayala-Rincón, Mauricio ; Fernández, Maribel ; Nantes-Sobrinho, Daniele

    Abstract | Document (710 KB) | BibTeX

    Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic
    Authors: Benke, Marcin ; Schubert, Aleksy ; Walukiewicz-Chrzaszcz, Daria

    Abstract | Document (535 KB) | BibTeX

    Classical Extraction in Continuation Models
    Authors: Blot, Valentin

    Abstract | Document (466 KB) | BibTeX

    Proving Correctness of Logically Decorated Graph Rewriting Systems
    Authors: Brenas, Jon Haël ; Echahed, Rachid ; Strecker, Martin

    Abstract | Document (612 KB) | BibTeX

    New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable
    Authors: Breuvart, Flavien ; Manzonetto, Giulio ; Polonsky, Andrew ; Ruoppolo, Domenico

    Abstract | Document (675 KB) | BibTeX

    Modular Focused Proof Systems for Intuitionistic Modal Logics
    Authors: Chaudhuri, Kaustuv ; Marin, Sonia ; Straßburger, Lutz

    Abstract | Document (614 KB) | BibTeX

    The Independence of Markov’s Principle in Type Theory
    Authors: Coquand, Thierry ; Mannaa, Bassel

    Abstract | Document (625 KB) | BibTeX

    On Undefined and Meaningless in Lambda Definability
    Authors: de Vries, Fer-Jan

    Abstract | Document (510 KB) | BibTeX

    The Intersection Type Unification Problem
    Authors: Dudenhefner, Andrej ; Martens, Moritz ; Rehof, Jakob

    Abstract | Document (524 KB) | BibTeX

    Computing Connected Proof(-Structure)s From Their Taylor Expansion
    Authors: Guerrieri, Giulio ; Pellissier, Luc ; Tortora de Falco, Lorenzo

    Abstract | Document (844 KB) | BibTeX

    Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories
    Authors: Hamana, Makoto

    Abstract | Document (702 KB) | BibTeX

    Non-Omega-Overlapping TRSs are UN
    Authors: Kahrs, Stefan ; Smith, Connor

    Abstract | Document (470 KB) | BibTeX

    Complexity Hierarchies and Higher-Order Cons-Free Rewriting
    Authors: Kop, Cynthia ; Grue Simonsen, Jakob

    Abstract | Document (616 KB) | BibTeX

    Weighted Relational Models for Mobility
    Authors: Laird, James

    Abstract | Document (534 KB) | BibTeX

    Focusing in Orthologic
    Authors: Laurent, Olivier

    Abstract | Document (525 KB) | BibTeX

    Functions-as-Constructors Higher-Order Unification
    Authors: Libal, Tomer ; Miller, Dale

    Abstract | Document (559 KB) | BibTeX

    Homological Computations for Term Rewriting Systems
    Authors: Malbos, Philippe ; Mimram, Samuel

    Abstract | Document (512 KB) | BibTeX

    Reversible Term Rewriting
    Authors: Nishida, Naoki ; Palacios, Adrián ; Vidal, Germán

    Abstract | Document (580 KB) | BibTeX

    Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion
    Authors: Sternagel, Christian ; Sternagel, Thomas

    Abstract | Document (631 KB) | BibTeX

    Category Theory in Coq 8.5
    Authors: Timany, Amin ; Jacobs, Bart

    Abstract | Document (547 KB) | BibTeX

    Formal Languages, Formally and Coinductively
    Authors: Traytel, Dmitriy

    Abstract | Document (506 KB) | BibTeX

    Normalisation by Random Descent
    Authors: van Oostrom, Vincent ; Toyama, Yoshihito

    Abstract | Document (719 KB) | BibTeX

    Ground Confluence Prover based on Rewriting Induction
    Authors: Aoto, Takahito ; Toyama, Yoshihito

    Abstract | Document (535 KB) | BibTeX

    Globular: An Online Proof Assistant for Higher-Dimensional Rewriting
    Authors: Bar, Krzysztof ; Kissinger, Aleks ; Vicary, Jamie

    Abstract | Document (1,166 KB) | BibTeX

    Interaction Automata and the ia2d Interpreter
    Authors: Gimenez, Stéphane ; Obwaller, David

    Abstract | Document (578 KB) | BibTeX

    Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems
    Authors: Rapp, Franziska ; Middeldorp, Aart

    Abstract | Document (502 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI