ITU

Linearly-used state in models of call-by-value

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationCALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Number of pages15
PublisherSpringer
Publication date2011
Pages298-313
ISBN (Print)978-3-642-22943-5
DOIs
Publication statusPublished - 2011
Event4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011) - Winchester, United Kingdom
Duration: 30 Aug 20112 Sep 2011
Conference number: 4th
http://calco2011.ecs.soton.ac.uk/

Conference

Conference4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011)
Nummer4th
LandUnited Kingdom
ByWinchester
Periode30/08/201102/09/2011
Internetadresse

ID: 34475976