An exponential lower bound for proofs in focused calculi

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Publication statusPublished - 2021
Event26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands
Duration: 2 Jul 20195 Jul 2019

Conference

Conference26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019
Country/TerritoryNetherlands
CityUtrecht
Period2/07/195/07/19

Cite this