2 papers
cs.LO2017
Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors
Lionel Vaux
It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of -terms that this operation commutes with normalization: the expansion of a -term is alwa…
cs.LO2016
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms
Michele Pagani, Christine Tasson, Lionel Vaux
In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cu…