Hélène Kirchner
Proceedings of the Third International Conference on Formal Structures for Computation and Deduction
FSCD, 2018.

@proceedings{FSCD-2018,
	editor        = "Hélène Kirchner",
	ee            = "http://www.dagstuhl.de/dagpub/978-3-95977-077-4",
	isbn          = "978-3-95977-077-4",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Proceedings of the Third International Conference on Formal Structures for Computation and Deduction}",
	volume        = 108,
	year          = 2018,
}

Contents (32 items)

FSCD-2018-Selinger #challenge #programming language #quantum

Challenges in Quantum Programming Languages (Invited Talk) (PS), p. 2.

FSCD-2018-Vignudelli #equivalence #higher-order #probability #proving

Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk) (VV), p. 2.

FSCD-2018-0001HHMN0SZ #confluence #contest

Confluence Competition 2018 (TA0, MH, NH, AM, JN, NN0, KS, HZ), p. 5.

FSCD-2018-Rosu #design #implementation #verification

Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) (GR), p. 6.

FSCD-2018-KohlM #named #proving

ProTeM: A Proof Term Manipulator (System Description) (CK, AM), p. 8.

FSCD-2018-AndrianariveloR #confluence #term rewriting

Confluence of Prefix-Constrained Rewrite Systems (NA, PR), p. 15.

FSCD-2018-EndrullisKO #confluence #diagrams

Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems (JE, JWK, RO), p. 15.

FSCD-2018-IkebuchiN #on the

On Repetitive Right Application of B-Terms (MI, KN), p. 15.

FSCD-2018-Parys

Homogeneity Without Loss of Generality (PP), p. 15.

FSCD-2018-AlvesB #framework

A Unifying Framework for Type Inhabitation (SA, SB), p. 16.

FSCD-2018-Ayala-RinconFN #constraints #equation #fixpoint #unification

Fixed-Point Constraints for Nominal Equational Unification (MAR, MF, DNS), p. 16.

FSCD-2018-Bahr #strict #λ-calculus

Strict Ideal Completions of the Lambda Calculus (PB), p. 16.

FSCD-2018-BendkowskiL

Counting Environments and Closures (MB, PL), p. 16.

FSCD-2018-ForestM #category theory

Coherence of Gray Categories via Rewriting (SF, SM), p. 16.

FSCD-2018-TimanyS #coq #cumulative #induction

Cumulative Inductive Types In Coq (AT, MS), p. 16.

FSCD-2018-BaumgartnerKLV #anti

Term-Graph Anti-Unification (AB, TK, JL, MV), p. 17.

FSCD-2018-CernaK #anti #equation #higher-order

Higher-Order Equational Pattern Anti-Unification (DMC, TK), p. 17.

FSCD-2018-Jacob-RaoPT

Index-Stratified Types (RJR, BP, DT), p. 17.

FSCD-2018-LicataOPS #modelling #type system

Internal Universes in Models of Homotopy Type Theory (DRL, IO, AMP, BS), p. 17.

FSCD-2018-MannaaM #semantics #type system

The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory (BM, REM), p. 17.

FSCD-2018-NewL #call-by #type system

Call-by-Name Gradual Type Theory (MSN, DRL), p. 17.

FSCD-2018-BellinH #linear #logic #proving

Proof Nets for Bi-Intuitionistic Linear Logic (GB, WH), p. 18.

FSCD-2018-KaposiK #induction #syntax

A Syntax for Higher Inductive-Inductive Types (AK, AK), p. 18.

FSCD-2018-WinklerM

Completion for Logically Constrained Rewriting (SW, AM), p. 18.

FSCD-2018-Czajka #finite #infinity #term rewriting

Term Rewriting Characterisation of LOGSPACE for Finite and Infinite Data (LC0), p. 19.

FSCD-2018-Genet #automaton

Completeness of Tree Automata Completion (TG), p. 20.

FSCD-2018-HadzihasanovicF #axiom #diagrams #quantum

A Diagrammatic Axiomatisation of Fermionic Quantum Circuits (AH, GdF, KFN), p. 20.

FSCD-2018-Lemay #algebra #category theory

Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories (JSPL), p. 20.

FSCD-2018-Nguyen #proving

Unique perfect matchings and proof nets (LTDN), p. 20.

FSCD-2018-NishidaM #term rewriting

Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (NN0, YM), p. 20.

FSCD-2018-Schmidt-Schauss #unification

Nominal Unification with Atom and Context Variables (MSS, DS), p. 20.

FSCD-2018-Delaune #encryption #privacy #protocol

Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk) (SD), p. 21.