On session types and polynomial time

DOI10.1017/S0960129514000632zbMath1362.68208MaRDI QIDQ2971079

Ugo Dal Lago, Paolo Di Giamberardino

Publication date: 4 April 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03F52: Proof-theoretic aspects of linear logic and other substructural logics