Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms.

Michele Pagani, Christine Tasson, Lionel Vaux

Browse the full FOSSACS paper archive.