11 citations · 42 across the 14 of their papers we have counts for
1 paper · 1 filter
Manzonetto Giulio
In this paper we provide an abstract model theory for the untyped differential lambda-calculus and the resource calculus. In particular we propose a general definition of model of…