%0 Journal Article %A M.W. Bunder %T Category theory based on combinatory logic. %J Archiv für mathematische Logik und Grundlagenforschung %D 1984 %P 1-16 %V 24 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1984__24_138019/ %F AMLG_1984__24_138019