Conference: LREC 2020

Year:	2020
Description:	Intuitionistic Linear Logic derivations for a subset of Lassy Small.
URL: