Simple type theory of Gentzen style with the inference of extensionality
Takahashi, Moto-o
Proc. Japan Acad., Tome 44 (1968) no. 8, p. 43-45 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1968-05-15
Classification:  02.63 
@article{1195521329,
     author = {Takahashi, Moto-o},
     title = {Simple type theory of Gentzen style with the inference of extensionality},
     journal = {Proc. Japan Acad.},
     volume = {44},
     number = {8},
     year = {1968},
     pages = { 43-45},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1195521329}
}

Takahashi, Moto-o. Simple type theory of Gentzen style with the inference of extensionality. Proc. Japan Acad., Tome 44 (1968) no. 8, pp.  43-45. http://gdmltest.u-ga.fr/item/1195521329/