A Gentzen-style monadic translation of Gödel's System T

08/16/2019

∙

by   Chuangjie Xu, et al.

∙

0

∙

share

We present a monadic translation of Gödel's System T in the spirit of Gentzen's negative translation, allowing us to reveal various structures of terms of System T.