Sessions as Propositions

Sam Lindley, J. Garrett Morris

Research output: Contribution to conferencePaper

2 Citations (Scopus)

Abstract

Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this translation is one-way: CP is more expressive than GV. We propose an extension of GV, called HGV, and give translations showing that it is as expressive as CP. The new translations shed light both on the original translation from GV to CP, and on the limitations in expressiveness of GV
Original languageEnglish
Pages9-16
Number of pages8
DOIs
Publication statusPublished - 2014
Event7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software 2014 - Grenoble, France
Duration: 12 Apr 201412 Apr 2014

Conference

Conference7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software 2014
Abbreviated titlePLACES 2014
CountryFrance
CityGrenoble
Period12/04/1412/04/14

Cite this

Lindley, S., & Morris, J. G. (2014). Sessions as Propositions. 9-16. Paper presented at 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software 2014, Grenoble, France. https://doi.org/10.4204/EPTCS.155.2