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