Person. I. Cervesato ORCID · 0000-0001-6329-3400 Papers A linear logical framework cervesato-nd-aLICS DOI