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
Current Page :
Number of result pages: 1
Number of documents: 10

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI