A Gentzen-Style Monadic Translation of Gdel's System T.

Chuangjie Xu

Browse the full FSCD paper archive.