Dataset - CKAN

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...
- HTML

You can also access this registry using the API (see API Docs).