FSCD 2018 July 9-12, 2018 - Oxford, UK

3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)



Hélène Kirchner (Ed.)
ISBN 978-3-95977-077-4, LIPICS Vol. 108 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 15 MB)
Search Publication Server


Authors
  • Alves, Sandra
  • Andrianarivelo, Nirina
  • Aoto, Takahito
  • Ayala-Rincón, Mauricio
  • Bahr, Patrick
  • Baumgartner, Alexander
  • Bellin, Gianluigi
  • Bendkowski, Maciej
  • Broda, Sabine
  • Cerna, David M.
  • Czajka, Lukasz
  • de Felice, Giovanni
  • Delaune, Stéphanie
  • Endrullis, Jörg
  • Fernández, Maribel
  • Forest, Simon
  • Genet, Thomas
  • Hadzihasanovic, Amar
  • Hamana, Makoto
  • Heijltjes, Willem B.
  • Hirokawa, Nao
  • Ikebuchi, Mirai
  • Jacob-Rao, Rohan
  • Kaposi, Ambrus
  • Kirchner, Hélène
  • Klop, Jan Willem
  • Kohl, Christina
  • Kovács, András
  • Kutsia, Temur
  • Lemay, Jean-Simon Pacaud
  • Lescanne, Pierre
  • Levy, Jordi
  • Licata, Daniel R.
  • Møgelberg, Rasmus Ejlers
  • Maeda, Yuya
  • Mannaa, Bassel
  • Middeldorp, Aart
  • Mimram, Samuel
  • Nagele, Julian
  • Nakano, Keisuke
  • Nantes-Sobrinho, Daniele
  • New, Max S.
  • Ng, Kang Feng
  • Nguyen, Lê Thành Dung
  • Nishida, Naoki
  • Orton, Ian
  • Overbeek, Roy
  • Parys, Pawel
  • Pientka, Brigitte
  • Pitts, Andrew M.
  • Réty, Pierre
  • Rosu, Grigore
  • Sabel, David
  • Schmidt-Schauß, Manfred
  • Selinger, Peter
  • Shintani, Kiraku
  • Sozeau, Matthieu
  • Spitters, Bas
  • Thibodeau, David
  • Timany, Amin
  • Vignudelli, Valeria
  • Villaret, Mateu
  • Winkler, Sarah
  • Zankl, Harald

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Kirchner, Hélène

    Abstract | Document (373 KB) | BibTeX

    Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk)
    Authors: Delaune, Stéphanie

    Abstract | Document (516 KB) | BibTeX

    Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)
    Authors: Rosu, Grigore

    Abstract | Document (394 KB) | BibTeX

    Challenges in Quantum Programming Languages (Invited Talk)
    Authors: Selinger, Peter

    Abstract | Document (213 KB) | BibTeX

    Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk)
    Authors: Vignudelli, Valeria

    Abstract | Document (207 KB) | BibTeX

    A Unifying Framework for Type Inhabitation
    Authors: Alves, Sandra ; Broda, Sabine

    Abstract | Document (490 KB) | BibTeX

    Confluence of Prefix-Constrained Rewrite Systems
    Authors: Andrianarivelo, Nirina ; Réty, Pierre

    Abstract | Document (454 KB) | BibTeX

    Fixed-Point Constraints for Nominal Equational Unification
    Authors: Ayala-Rincón, Mauricio ; Fernández, Maribel ; Nantes-Sobrinho, Daniele

    Abstract | Document (650 KB) | BibTeX

    Strict Ideal Completions of the Lambda Calculus
    Authors: Bahr, Patrick

    Abstract | Document (492 KB) | BibTeX

    Term-Graph Anti-Unification
    Authors: Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret, Mateu

    Abstract | Document (514 KB) | BibTeX

    Proof Nets for Bi-Intuitionistic Linear Logic
    Authors: Bellin, Gianluigi ; Heijltjes, Willem B.

    Abstract | Document (511 KB) | BibTeX

    Counting Environments and Closures
    Authors: Bendkowski, Maciej ; Lescanne, Pierre

    Abstract | Document (536 KB) | BibTeX

    Higher-Order Equational Pattern Anti-Unification
    Authors: Cerna, David M. ; Kutsia, Temur

    Abstract | Document (492 KB) | BibTeX

    Term Rewriting Characterisation of LOGSPACE for Finite and Infinite Data
    Authors: Czajka, Lukasz

    Abstract | Document (433 KB) | BibTeX

    Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems
    Authors: Endrullis, Jörg ; Klop, Jan Willem ; Overbeek, Roy

    Abstract | Document (451 KB) | BibTeX

    Coherence of Gray Categories via Rewriting
    Authors: Forest, Simon ; Mimram, Samuel

    Abstract | Document (533 KB) | BibTeX

    Completeness of Tree Automata Completion
    Authors: Genet, Thomas

    Abstract | Document (618 KB) | BibTeX

    A Diagrammatic Axiomatisation of Fermionic Quantum Circuits
    Authors: Hadzihasanovic, Amar ; de Felice, Giovanni ; Ng, Kang Feng

    Abstract | Document (570 KB) | BibTeX

    On Repetitive Right Application of B-Terms
    Authors: Ikebuchi, Mirai ; Nakano, Keisuke

    Abstract | Document (457 KB) | BibTeX

    Index-Stratified Types
    Authors: Jacob-Rao, Rohan ; Pientka, Brigitte ; Thibodeau, David

    Abstract | Document (581 KB) | BibTeX

    A Syntax for Higher Inductive-Inductive Types
    Authors: Kaposi, Ambrus ; Kovács, András

    Abstract | Document (419 KB) | BibTeX

    Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories
    Authors: Lemay, Jean-Simon Pacaud

    Abstract | Document (505 KB) | BibTeX

    Internal Universes in Models of Homotopy Type Theory
    Authors: Licata, Daniel R. ; Orton, Ian ; Pitts, Andrew M. ; Spitters, Bas

    Abstract | Document (583 KB) | BibTeX

    The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory
    Authors: Mannaa, Bassel ; Møgelberg, Rasmus Ejlers

    Abstract | Document (518 KB) | BibTeX

    Call-by-Name Gradual Type Theory
    Authors: New, Max S. ; Licata, Daniel R.

    Abstract | Document (507 KB) | BibTeX

    Unique perfect matchings and proof nets
    Authors: Nguyen, Lê Thành Dung

    Abstract | Document (556 KB) | BibTeX

    Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems
    Authors: Nishida, Naoki ; Maeda, Yuya

    Abstract | Document (612 KB) | BibTeX

    Homogeneity Without Loss of Generality
    Authors: Parys, Pawel

    Abstract | Document (470 KB) | BibTeX

    Nominal Unification with Atom and Context Variables
    Authors: Schmidt-Schauß, Manfred ; Sabel, David

    Abstract | Document (563 KB) | BibTeX

    Cumulative Inductive Types In Coq
    Authors: Timany, Amin ; Sozeau, Matthieu

    Abstract | Document (639 KB) | BibTeX

    Completion for Logically Constrained Rewriting
    Authors: Winkler, Sarah ; Middeldorp, Aart

    Abstract | Document (550 KB) | BibTeX

    ProTeM: A Proof Term Manipulator (System Description)
    Authors: Kohl, Christina ; Middeldorp, Aart

    Abstract | Document (558 KB) | BibTeX

    Confluence Competition 2018
    Authors: Aoto, Takahito ; Hamana, Makoto ; Hirokawa, Nao ; Middeldorp, Aart ; Nagele, Julian ; Nishida, Naoki ; Shintani, Kiraku ; Zankl, Harald

    Abstract | Document (1,038 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI