Browse by Journal or other publication
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
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.