-
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... -
A relational semantics for parallelism and non-determinism in a functional se...
International audience -
Timeless Games.
This dataset has no description
-
A Field Analysis of Relational Database Schemas in Open-source Software (Exte...
International audience
