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…