1 citations · 1 across the 3 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…