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 [16] . 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 .