Conference: LREC 2020

Year:	2020
Description:	Intuitionistic Linear Logic derivations for the public subset of Lassy Small.
URL:	https://github.com/konstantinosKokos/aethel-public