An algebraic formulation of cut-elimination theorem
TITANI, Satoko
J. Math. Soc. Japan, Tome 17 (1965) no. 4, p. 72-83 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1965-01-15
Classification:  02.18 
@article{1260975577,
     author = {TITANI, Satoko},
     title = {An algebraic formulation of cut-elimination theorem},
     journal = {J. Math. Soc. Japan},
     volume = {17},
     number = {4},
     year = {1965},
     pages = { 72-83},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1260975577}
}

TITANI, Satoko. An algebraic formulation of cut-elimination theorem. J. Math. Soc. Japan, Tome 17 (1965) no. 4, pp.  72-83. http://gdmltest.u-ga.fr/item/1260975577/