A Proof Theory of (mega-)Context-Free Languages, via Non-wellfounded Proofs.

Anupam Das, Abhishek De

Browse the full IJCAR paper archive.