Linearly-used state in models of call-by-value
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Original language | English |
---|---|
Title of host publication | CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science |
Number of pages | 15 |
Publisher | Springer |
Publication date | 2011 |
Pages | 298-313 |
ISBN (Print) | 978-3-642-22943-5 |
DOIs | |
Publication status | Published - 2011 |
Event | 4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011) - Winchester, United Kingdom Duration: 30 Aug 2011 → 2 Sep 2011 Conference number: 4th http://calco2011.ecs.soton.ac.uk/ |
Conference
Conference | 4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011) |
---|---|
Nummer | 4th |
Land | United Kingdom |
By | Winchester |
Periode | 30/08/2011 → 02/09/2011 |
Internetadresse |
ID: 34475976