Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi. T) and a proof-search strategy for the focused sequent calculus. In Alberto Momigliano, Brigitte Pientka, Randy Pollack, editors, Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013. pages 3-14, ACM, 2013. [doi]
Abstract is missing.