Compilation as rewriting in higher order logic (0)

by Guodong Li, Konrad Slind
Venue:In Proceedings of the 21st international conference on Automated Deduction: Automated Deduction, CADE-21