Cut-elimination and quantification in canonical systems

Anna Zamansky, Arnon Avron

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Cut-elimination and quantification in canonical systems'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science