Dataset - CKAN

De l'opérateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of...
- HTML

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