5 citations · 7 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2017★ 2 cited
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…
cs.LO2010★ 5 cited
Transport of finiteness structures and applications
Christine Tasson, Lionel Vaux
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction t…