Combinatory recursive objects of all finite types
Curry, Haskell B.
Bull. Amer. Math. Soc., Tome 70 (1964) no. 6, p. 814-817 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1964-11-14
Classification:  
@article{1183526340,
     author = {Curry, Haskell B.},
     title = {Combinatory recursive objects of all finite types},
     journal = {Bull. Amer. Math. Soc.},
     volume = {70},
     number = {6},
     year = {1964},
     pages = { 814-817},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183526340}
}

Curry, Haskell B. Combinatory recursive objects of all finite types. Bull. Amer. Math. Soc., Tome 70 (1964) no. 6, pp.  814-817. http://gdmltest.u-ga.fr/item/1183526340/