A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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
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