Compiler correctness and the translation of logics
Theo Janssen

Abstract:
In this article the issue of compiler correctness will be
investigated, and the insights obtained there, are applied to the
translation between logics.