8 citations · 14 across the 14 of their papers we have counts for
1 paper · 1 filter
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temp…