Filters








2 Hits in 1.9 sec

Front Matter, Table of Contents, Preface, Conference Organization

Maribel Fernández, Anca Muscholl, Michael Wagner
2020 Annual Conference for Computer Science Logic  
The award was officially presented at the conference on the 15th January 2020. The citation of the award, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020).  ...  CSL 2020 was held in Barcelona, Spain, 13-16 January 2020. Until 2018 CSL took place in August/September, and CSL 2020 is the first conference in the series scheduled in January.  ... 
doi:10.4230/lipics.csl.2020.0 dblp:conf/csl/X20 fatcat:xrswfikjybh4pjsl7h6fd2vt24

A Strong Bisimulation for a Classical Term Calculus by Means of Multiplicative and Exponential Reduction [article]

Eduardo Bonelli, Delia Kesner, Andrés Viso
2021 arXiv   pre-print
Inspired by Laurent's Polarized Proof-Nets, this leads us to distinguish multiplicative and exponential reduction steps on terms.  ...  In the case of λ-calculus and proof-nets, these innessential details are captured by a notion of equivalence on λ-terms known as ≃_σ-equivalence in both the intuitionistic (due to Regnier) and classical  ...  In 28th EACSL Annual Conference on Computer Science Logic, Appendix A.  ... 
arXiv:2101.05754v2 fatcat:tktpe3bdy5d7lkjssihfk5hkp4