Sessions as Propositions

Sam Lindley; J. Garrett Morris

doi:10.4204/EPTCS.155.2

Back

Journal article

Open access

Sessions as Propositions

Sam Lindley and J. Garrett Morris

Electronic Proceedings in Theoretical Computer Science, Vol.155(Proc. PLACES 2014), pp.9-16

06/13/2014

DOI: 10.4204/EPTCS.155.2

Files and links (1)

url

https://doi.org/10.4204/EPTCS.155.2View

Published (Version of record) Open Access

Abstract

EPTCS 155, 2014, pp. 9-16 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.

Details

Title: Subtitle: Sessions as Propositions
Creators: Sam Lindley - University of Edinburgh
J. Garrett Morris - University of Edinburgh
Resource Type: Journal article
Publication Details: Electronic Proceedings in Theoretical Computer Science, Vol.155(Proc. PLACES 2014), pp.9-16
DOI: 10.4204/EPTCS.155.2
ISSN: 2075-2180
eISSN: 2075-2180
Language: English
Date published: 06/13/2014
Academic Unit: Computer Science
Record Identifier: 9984259423402771

Metrics

8 Record Views

3 Times Cited - Web of Science