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