The Existence of Pure Proofs (presentation)

Proof Theory. Workshop held at Unilog’2018 in Vichy

Conference Paper

Publication

Year of publication: 2018

Identifiers

Locators

Alternative Titles