-
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... -
Injectivity of relational semantics for (connected) MELL proof-nets via Taylo...
International audience
