The Zoo of Lambda-Calculus Reduction Strategies, And Coq
Authors: Małgorzata Biernacka, Witold Charatonik, Tomasz Drab
Published in: 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