Stability Property for the Call-by-Value λ-calculus through Taylor Expansion.

Mon, 01 Jan 2024 00:00:00 +0100

Davide Barbarossa:
Stability Property for the Call-by-Value λ-calculus through Taylor Expansion. CoRR abs/2409.11572 (2024)