Please use this identifier to cite or link to this item:
Title: On Sessions and Infinite Data
Authors: Severi, Paula
Padovani, Luca
Tuosto, Emilio
Dezani-Ciancaglini, Mariangiola
First Published: 20-Jun-2017
Publisher: IfCoLog (International Federation of Computational Logic)
Citation: Logical Methods in Computer Science, 2017, 13 (2), lmcs:3725
Abstract: We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and communication.
DOI Link: 10.23638/LMCS-13(2:9)2017
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © the authors, 2017. This is an open-access article distributed under the terms of the Creative Commons Attribution-No Derivatives License (, which permits use and distribution in any medium, provided the original work is properly cited, and no modifications or adaptations are made.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1610.06362.pdfPublished (publisher PDF)715.6 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.