Equational Reasoning via Partial Reflection. Geuvers, H., Wiedijk, F., & Zwanenburg, J. In Harrison, J. & Aagaard, M., editors, Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, volume 1869, of Lecture Notes in Computer Science, pages 162--178, 2000.
Equational Reasoning via Partial Reflection [pdf]Pdf  bibtex   

Downloads: 0