On session types and polynomial time

Ugo Dal Lago, Paolo Di Giamberardino. On session types and polynomial time. Mathematical Structures in Computer Science, 26(8):1433-1458, 2016. [doi]

Abstract

Abstract is missing.