News‎ > ‎

Seminar: Paolo di Giamberardino "Soft Session Types"

posted Oct 24, 2011, 1:58 AM by Massimo Bartoletti   [ updated Oct 24, 2011, 1:58 AM ]

Upcoming seminar
 
Soft Session Types
 
Wednesday, October 26, 2011 - 16:00
Aula F, Dipartimento di Matematica e Informatica - Via Ospedale 72, Cagliari
 
Paolo di Giamberardino
Dipartimento di Matematica e Informatica
Università degli Studi di Cagliari


Abstract. We show how systems of sessions types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont’s soft linear logic and is strongly inspired by recent works about session types as intuitionistic linear logic formulas. Our main result is the existence, for every typable process, of a polynomial bound on the length of any reduction sequence starting from it and on the size of any of its reducts.

Comments