A computational approach to reflective meta-reasoning about languages with bindings (2005)

by Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
Venue:MERLIN’05: Proceedings of the Third 15 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding