Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/42956
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSeveri, Paula-
dc.contributor.authorPadovani, Luca-
dc.contributor.authorTuosto, Emilio-
dc.contributor.authorDezani-Ciancaglini, Mariangiola-
dc.date.accessioned2018-09-26T13:47:51Z-
dc.date.available2018-09-26T13:47:51Z-
dc.date.issued2017-06-20-
dc.identifier.citationLogical Methods in Computer Science, 2017, 13 (2), lmcs:3725en
dc.identifier.urihttps://lmcs.episciences.org/3725en
dc.identifier.urihttp://hdl.handle.net/2381/42956-
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.language.isoenen
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 (http://creativecommons.org/licenses/by-nd/4.0/), 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.identifier.doi10.23638/LMCS-13(2:9)2017-
dc.description.statusPeer-revieweden
dc.description.versionPublisher Versionen
pubs.organisational-group/Organisationen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERINGen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informaticsen
dc.identifier.eisbn1860-5974-
dc.dateaccepted2017-06-20-
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.