Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi. Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover. Journal of Automated Reasoning, 49(3):427-451, 2012. [doi]

No reviews for this publication, yet.