Proceedings of the Third International Conference on Formal Structures for Computation and Deduction
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FM
DBLP
Scholar
?EE?
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.