The Zoo of Lambda-Calculus Reduction Strategies, And Coq.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Browse the full ITP paper archive.