This page shows all presentations of this author published in EasyChair Smart Slide.
The Zoo of Lambda-Calculus Reduction Strategies, and Coq
Małgorzata Biernacka, Witold Charatonik and Tomasz Drab