 Logical frameworks that crossover information as code and information as correlation get their most explicit representation in work that does just this—model the crossover between the two frameworks. Restall (1994) and Mares (1996) give independent proofs of the representability of Barwise’s information as correlation channel-theoretic framework within the information as code approach as exemplified by the substructural logics framework. In this section we will trace the motivations and the main details of the proof, before demonstrating the connection with category theory. 