Ahh thanks to Matthias Blume for point me to the work by Ohori Atsushi Ohori. A Curry-Howard isomorphism for compilation and program execution. Proc. TLCA Conference, Springer LNCS 1581, 258-179, April 1999. http://www.jaist.ac.jp/~ohori/research/anormal.pdf