scientific article; zbMATH DE number 6774227

DOI10.4230/LIPICS.CONCUR.2015.412zbMath1374.68323MaRDI QIDQ5357720

Marco Carbone, Fabrizio Montesi, Nobuko Yoshida, Carsten Schuermann

Publication date: 12 September 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programming languageslinear logictype systemssession types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Linearity, Control Effects, and Behavioral Types ⋮ Prioritise the best variation

This page was built for publication: