Around Classical and Intuitionistic Linear Processes

Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez

Curry-Howard correspondences between Linear Logic (LL) and session types provide a firm foundation for concurrent processes. As the correspondences hold for intuitionistic and clas…