The Calculus of Natural Calculation (presentation)

Third Tübingen Conference on Proof-Theoretic Semantics

Conference Paper

Publication

Year of publication: 2019

Identifiers

Locators

Alternative Titles