Browse by Journal or other publication
Number of items: 1.
Wood, James and Atkey, Robert (2020) A linear algebra approach to linear metatheory. In: Linearity & Trends in Linear Logic and its Application 2020, 2020-06-29 - 2020-06-30, Online.
Wood, James and Atkey, Robert (2020) A linear algebra approach to linear metatheory. In: Linearity & Trends in Linear Logic and its Application 2020, 2020-06-29 - 2020-06-30, Online.