Dataset - CKAN

Syntax and Models of a non-Associative Composition of Programs and Proofs

The thesis is a contribution to the understanding of the nature, role, and mechanisms of polarisation in programming languages, proof theory and categorical models....
- HTML

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