Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Abstract : We propose a logical justification for the rewriting-based equivalence procedure for simply-typed lambda-terms with sums of Lindley [Lin07]. It relies on maximally multi-focused proofs, a notion of canonical derivations introduced for linear logic. Lindley's rewriting closely corresponds to preemptive rewriting [CMS08], a technical device used in the meta-theory of maximal multi-focus.
https://hal.inria.fr/hal-01235372 Contributor : Scherer GabrielConnect in order to contact the contributor Submitted on : Monday, November 30, 2015 - 10:17:13 AM Last modification on : Thursday, February 3, 2022 - 11:16:55 AM Long-term archiving on: : Saturday, April 29, 2017 - 1:01:51 AM