Fortsätta ett arbete av Abramsky (1994), av Bellin och Scott (1994), och av Caires och Pfenning (2010), bland annat denna uppsats presenterar CP, en kalkyl där förslag av klassisk linjär logik motsvarar sessionstyper. Fortsätta ett arbete av Honda (1993), av Honda, Kubo, och Vasconcelos (1998), och av Gay och Vasconcelos (2010), bland annat, denna uppsats presenterar GV, ett linjärt funktionellt språk med sessionstyper, och presenterar en översättning från GV till CP. Översättningen formaliserar för första gången ett samband mellan en standardpresentation av sessionstyper och linjär logik, och visar hur en ändring av standardpresentationen ger ett språk fritt från dödläge, där dödlägesfrihet följer från korrespondens till linjär logik.
Wadler REF anpassar Caires och Pfenning till klassisk (i stället för intuitionistisk) linjär logik, och ger en översättning från GV (hans funktionella språk) till CP (hans processkalkyl).
Propositions as sessions
{'venue': "ICFP '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}