Linearity, session types and the Pi calculus

DOI10.1017/S0960129514000176zbMath1361.68167MaRDI QIDQ5741562

Marco Giunti, Vasco Thudichum Vasconcelos

Publication date: 28 July 2016

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Algorithmic type checking for a pi-calculus with name matching and session types ⋮ Fundamentals of session types

Cites Work

• Conversation types
• Fundamentals of session types
• Type checking a multithreaded functional language with session types
• Amalgamating sessions and methods in object-oriented languages with generics
• A calculus of mobile processes. I
• Subtyping for session types in the pi calculus
• On projecting processes into session types
• Bounded Session Types for Object Oriented Languages
• A Linear Account of Session Types in the Pi Calculus
• Functions as processes
• Linear type theory for asynchronous session types
• Asynchronous Session Types and Progress for Object Oriented Languages

This page was built for publication: Linearity, session types and the Pi calculus