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