A LIGHT MODALITY FOR RECURSION. - SEVERI, PAULA (Logical Methods in Computer Science (LMCS), 2019)