An exponential lower bound for proofs in focused calculi

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 2021
Event	26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands Duration: 2 Jul 2019 → 5 Jul 2019

Conference	26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019
Country/Territory	Netherlands
City	Utrecht
Period	2/07/19 → 5/07/19

Cite this