Dataset - CKAN

Nested Deduction in Logical Foundations for Computation

This thesis investigates the use of deep inference formalisms as basis for a computational interpretation of proof systems, following the two main approaches:...
- HTML

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