Light logics and higher-order processes

DOI10.1017/S0960129514000310zbMath1362.68209MaRDI QIDQ2971072

Ugo Dal Lago, Davide Sangiorgi, Simone Martini

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