AI Chat AI Image Generator AI Video Text to Speech

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

08/16/2019

∙

by Chuangjie Xu, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 12/26/2015

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

This paper describes the algorithm for translating English negative sent...

0 Chung-Hyok Jang, et al. ∙

research

∙ 09/06/2022

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

We present an alternative translation from CCS to an extension of CSP ba...

0 Gerard Ekembe Ngondi, et al. ∙

research

∙ 07/16/2021

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

Type theories can be formalized using the intrinsically (hard) or the ex...

0 Florian Rabe, et al. ∙

research

∙ 04/28/2023

The Logical Essence of Compiling With Continuations

The essence of compiling with continuations is that conversion to contin...

0 José Espírito Santo, et al. ∙

research

∙ 02/23/2023

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

Translation of the paper “Simplizialzerlegungen von Beschrankter Flachhe...

0 Mathijs Wintraecken, et al. ∙

research

∙ 11/20/2008

chi2TeX Semi-automatic translation from chiwriter to LaTeX

Semi-automatic translation of math-filled book from obsolete ChiWriter f...

0 Justislav Bogevolnov, et al. ∙

research

∙ 04/15/2019

From Linear Logic to Cyclic Sharing

We present a translation from Multiplicative Exponential Linear Logic to...

0 Masahito Hasegawa, et al. ∙