Title: The Zoo of Lambda-Calculus Reduction Strategies, And Coq
Authors: Małgorzata Biernacka, Witold Charatonik, Tomasz Drab
Journal: 13th International Conference on Interactive Theorem Proving, ITP(tom: 13th International Conference on Interactive Theorem Proving, ITP, strony: 7:1--7:19), Wydawca:Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Publication type: conference
DOI: 10.4230/LIPIcs.ITP.2022.7