An operational foundation for the tactic language of Coq.

Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki

Browse the full PPDP paper archive.