Closure Properties of General Grammars - Formally Verified.

Martin Dvorak, Jasmin Blanchette

Browse the full ITP paper archive.