A Finiteness Structure on Resource Terms
A Finiteness Structure on Resource Terms
We study the Taylor expansion of lambda-terms in a on-deterministic or algebraic setting, where terms can be added. The target language is a resource lambda calculus based on a differential lambda-calculus that we introduced recently. This operation is not possible in the general untyped case where reduction can produce unbounded …