Unique decomposition categories, geometry of interaction and combinatory logic (0)

by E Haghverdi
Venue:Math. Struct. in Comp. Sci