Dataset - CKAN

Quantitative Types for Intuitionistic Calculi

We define quantitative type systems for two intuitionistic term languages. While the first language in natural deduction style is already known in the literature, the...
- HTML

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