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

08/16/2019

∙

by Chuangjie Xu, et al.

∙

Universität München

∙

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.

READ FULL TEXT

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

The Improvement of Negative Sentences Translation in English-to-Korean Machine Translation

From CCS to CSP: the m-among-n Synchronisation Approach

Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style

The Logical Essence of Compiling With Continuations

Translation of "Simplizialzerlegungen von Beschrankter Flachheit” by Hans Freudenthal, Annals of Mathematics, Second Series, Volume 43, Number 3, July 1942, Pages 580-583

chi2TeX Semi-automatic translation from chiwriter to LaTeX

From Linear Logic to Cyclic Sharing

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

Related Research

The Improvement of Negative Sentences Translation in English-to-Korean Machine Translation

From CCS to CSP: the m-among-n Synchronisation Approach

Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style

The Logical Essence of Compiling With Continuations

Translation of "Simplizialzerlegungen von Beschrankter Flachheit” by Hans Freudenthal, Annals of Mathematics, Second Series, Volume 43, Number 3, July 1942, Pages 580-583

chi2TeX Semi-automatic translation from chiwriter to LaTeX

From Linear Logic to Cyclic Sharing