A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle (2001)

by A. Momigliano , S. J. Ambler , R. L. Crole
Venue:Supplemental Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Citations:6 - 2 self