Extensional Taylor Expansion

Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair

We introduce a calculus of extensional resource terms. These are resource terms à la Ehrhard-Regnier, but in infinitely eta-long form. The calculus still retains a finite syntax an…