Unique decomposition categories, Geometry of Interaction and combinatory logic.

Esfandiar Haghverdi Unique decomposition categories, Geometry of Interaction and combinatory logic. 205-230 2000 10 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs10.html#Haghverdi00