-
Proofs, resaoning and the metamorphosis of logic
This dataset has no description
-
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...
