Category theory based on combinatory logic.
Bunder, M.W.
Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), p. 1-16 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1984-01-01
EUDML-ID : urn:eudml:doc:138019
@article{GDZPPN002045680,
     title = {Category theory based on combinatory logic.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {24},
     year = {1984},
     pages = {1-16},
     zbl = {0545.03005},
     url = {http://dml.mathdoc.fr/item/GDZPPN002045680}
}
Bunder, M.W. Category theory based on combinatory logic.. Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984) pp. 1-16. http://gdmltest.u-ga.fr/item/GDZPPN002045680/