MaRDI QIDQ3300796
Giulio Manzonetto, Michele Pagani, Emma Kerinec
Publication date: 30 July 2020
Full work available at URL: https://arxiv.org/abs/1809.02659
zbMATH Keywords
Taylor expansion; lambda calculus; Böhm trees; call-by-value; program approximation; differential linear logic
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science