Join inverse categories as models of reversible recursion
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
| Original language | English |
|---|---|
| Title of host publication | Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings |
| Editors | Bart Jacobs, Christof Löding |
| Number of pages | 18 |
| Publisher | Springer |
| Publication date | 2016 |
| Pages | 73-90 |
| ISBN (Print) | 978-3-662-49629-9 |
| ISBN (Electronic) | 978-3-662-49630-5 |
| DOIs | |
| Publication status | Published - 2016 |
| Event | Foundations of Software Science and Computation Structures - Eindhoven, Netherlands Duration: 2 Apr 2016 → 8 Apr 2016 Conference number: 19 |
Conference
| Conference | Foundations of Software Science and Computation Structures |
|---|---|
| Nummer | 19 |
| Land | Netherlands |
| By | Eindhoven |
| Periode | 02/04/2016 → 08/04/2016 |
| Series | Lecture notes in computer science |
|---|---|
| Volume | 9634 |
| ISSN | 0302-9743 |
ID: 160052357