21 citations · 56 across the 6 of their papers we have counts for
1 paper · 2 filters
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus f…