| 2018 | 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, Oxford, UK, July 9-12, 2018 Hélène Kirchner |
| 2018 | A Diagrammatic Axiomatisation of Fermionic Quantum Circuits. Amar Hadzihasanovic, Giovanni de Felice, Kang Feng Ng |
| 2018 | A Syntax for Higher Inductive-Inductive Types. Ambrus Kaposi, András Kovács |
| 2018 | A Unifying Framework for Type Inhabitation. Sandra Alves, Sabine Broda |
| 2018 | Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk). Stéphanie Delaune |
| 2018 | Call-by-Name Gradual Type Theory. Max S. New, Daniel R. Licata |
| 2018 | Challenges in Quantum Programming Languages (Invited Talk). Peter Selinger |
| 2018 | Coherence of Gray Categories via Rewriting. Simon Forest, Samuel Mimram |
| 2018 | Completeness of Tree Automata Completion. Thomas Genet |
| 2018 | Completion for Logically Constrained Rewriting. Sarah Winkler, Aart Middeldorp |
| 2018 | Confluence Competition 2018. Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl |
| 2018 | Confluence of Prefix-Constrained Rewrite Systems. Nirina Andrianarivelo, Pierre Réty |
| 2018 | Counting Environments and Closures. Maciej Bendkowski, Pierre Lescanne |
| 2018 | Cumulative Inductive Types In Coq. Amin Timany, Matthieu Sozeau |
| 2018 | Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems. Jörg Endrullis, Jan Willem Klop, Roy Overbeek |
| 2018 | Fixed-Point Constraints for Nominal Equational Unification. Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho |
| 2018 | Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk). Grigore Rosu |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2018 | Higher-Order Equational Pattern Anti-Unification. David M. Cerna, Temur Kutsia |
| 2018 | Homogeneity Without Loss of Generality. Pawel Parys |
| 2018 | Index-Stratified Types. Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau |
| 2018 | Internal Universes in Models of Homotopy Type Theory. Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters |
| 2018 | Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. Jean-Simon Pacaud Lemay |
| 2018 | Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems. Naoki Nishida, Yuya Maeda |
| 2018 | Nominal Unification with Atom and Context Variables. Manfred Schmidt-Schauß, David Sabel |
| 2018 | On Repetitive Right Application of B-Terms. Mirai Ikebuchi, Keisuke Nakano |
| 2018 | ProTeM: A Proof Term Manipulator (System Description). Christina Kohl, Aart Middeldorp |
| 2018 | Proof Nets for Bi-Intuitionistic Linear Logic. Gianluigi Bellin, Willem Heijltjes |
| 2018 | Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk). Valeria Vignudelli |
| 2018 | Strict Ideal Completions of the Lambda Calculus. Patrick Bahr |
| 2018 | Term Rewriting Characterisation of LOGSPACE for Finite and Infinite Data. Lukasz Czajka |
| 2018 | Term-Graph Anti-Unification. Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret |
| 2018 | The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. Bassel Mannaa, Rasmus Ejlers Møgelberg |
| 2018 | Unique perfect matchings and proof nets. Lê Thành Dung Nguyên |