CJO - Abstract - Unique decomposition categories, Geometry of Interaction and combinatory logic

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Mathematical Structures in Computer Science (2000), 10 : 205-230 Cambridge University Press
doi:10.1017/S0960129599003035 (About doi)
back to top
Cambridge University Press