Dataset - CKAN

Phase semantics, proof nets and some decision problems in linear logic.

Linear logic (LL) is very expressive: the smallest propositonal fragment is already NP-complete and the whole logic is indecidable. One can simulate usual...
- HTML

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