Theory interpretation by proof term transformation (2005)

by Tom Ridge