| No. |
Title |
Author |
Year |
| 1 |
A Positive Perspective on Term Representation (Invited Talk) |
Miller, Dale et al. |
2023 |
| 2 |
Two Applications of Logic Programming to Coq |
Manighetti, Matteo et al. |
2021 |
| 3 |
Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper) |
Miller, Dale |
2018 |
| 4 |
Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers |
Miller, Dale |
2017 |
| 5 |
LIPIcs, Volume 84, FSCD'17, Complete Volume |
Miller, Dale |
2017 |
| 6 |
Separating Functional Computation from Relations |
Gérard, Ulysse et al. |
2017 |
| 7 |
Functions-as-Constructors Higher-Order Unification |
Libal, Tomer et al. |
2016 |
| 8 |
A Systematic Approach to Canonicity in the Classical Sequent Calculus |
Chaudhuri, Kaustuv et al. |
2012 |
