Vi visar hur system av sessionstyper kan genomdriva interaktioner som ska begränsas för alla typbara processer. Typsystemet vi föreslår är baserat på Lafonts mjuka linjära logik och är starkt inspirerat av nya verk om sessionstyper som intuitionistiska linjära logikformler. Vårt huvudsakliga resultat är existensen, för varje typbar process, av ett polynom som är bundet på längden av alla reduktionssekvenser som utgår från det och på storleken på någon av dess redukter.
En annan tolkning av sessionstyper som linjära logiska förslag föreslås i REF.
Soft Session Types
{'venue': 'EPTCS 64, 2011, pp. 59-73', 'journal': None, 'mag_field_of_study': ['Computer Science']}