Session Types as Intuitionistic Linear Propositions
- 1 January 2010
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- On Progress for Structured CommunicationsPublished by Springer Science and Business Media LLC ,2008
- Logical Semantics of Types for ConcurrencyPublished by Springer Science and Business Media LLC ,2007
- Subtyping for session types in the pi calculusActa Informatica, 2005
- Linear logic and lazy computationPublished by Springer Science and Business Media LLC ,2005
- Correspondence assertions for process synchronization in concurrent communicationsJournal of Functional Programming, 2005
- A Linear Logical FrameworkInformation and Computation, 2002
- On the expressiveness of internal mobility in name-passing calculiTheoretical Computer Science, 1998
- On the π-calculus and linear logicTheoretical Computer Science, 1994
- Types for dyadic interactionLecture Notes in Computer Science, 1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992