Section: New Results
A soft linear logic characterization of polynomial space
Participant : Jean-Yves Marion.
Jean-Yves Marion has worked on light (soft) linear logics with Marco Gaboardi and Simona Ronchi Della Rocca in  . This work is based on an extension of a soft linear lambda calculus by means of a conditional construction. It provides a correspondence with the well-known result aptime =pspace .