Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSeveri, Paula-
dc.contributor.authorPadovani, Luca-
dc.contributor.authorTuosto, Emilio-
dc.contributor.authorDezani-Ciancaglini, Mariangiola-
dc.identifier.citationLogical Methods in Computer Science, 2017, 13 (2), lmcs:3725en
dc.description.abstractWe 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.en
dc.publisherIfCoLog (International Federation of Computational Logic)en
dc.rightsCopyright © 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.en
dc.titleOn Sessions and Infinite Dataen
dc.typeJournal Articleen
dc.description.versionPublisher Versionen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERINGen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informaticsen
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.