| No. |
Title |
Author |
Year |
| 1 |
Encoding Tight Typing in a Unified Framework |
Kesner, Delia et al. |
2022 |
| 2 |
Solvability for Generalized Applications |
Kesner, Delia et al. |
2022 |
| 3 |
A Quantitative Understanding of Pattern Matching |
Alves, Sandra et al. |
2020 |
| 4 |
Strong Bisimulation for Control Operators (Invited Talk) |
Kesner, Delia et al. |
2020 |
| 5 |
Types as Resources for Classical Natural Deduction |
Kesner, Delia et al. |
2017 |
| 6 |
Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee |
Kesner, Delia et al. |
2016 |
| 7 |
LIPIcs, Volume 52, FSCD'16, Complete Volume |
Kesner, Delia et al. |
2016 |
| 8 |
Observability for Pair Pattern Calculi |
Bucciarelli, Antonio et al. |
2015 |
| 9 |
Metaconfluence of Calculi with Explicit Substitutions at a Distance |
de Moura, Flávio L. C. et al. |
2014 |
| 10 |
Normalisation for Dynamic Pattern Calculi |
Bonelli, Eduardo et al. |
2012 |
