-
On the discriminating power of tests in resource lambda-calculus
Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational semantics, categorical models of DLL are now commune, and the simplest... -
Toward a geometric view on computations
We interpret Intersection Types as the closed sets of some Zariski topology on pure lambda-terms. In this view, the parallel or operator introduced by Boudol is the... -
Full Abstraction for Resource Calculus with Tests
International audience
