Lolliproc: to concurrency from classical linear logic via curry-howard and control