Standard
Join inverse categories as models of reversible recursion. / Axelsen, Holger Bock; Kaarsgaard, Robin.
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. ed. / Bart Jacobs; Christof Löding. Springer, 2016. p. 73-90 (Lecture notes in computer science, Vol. 9634).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Axelsen, HB & Kaarsgaard, R 2016,
Join inverse categories as models of reversible recursion. in B Jacobs & C Löding (eds),
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. Springer, Lecture notes in computer science, vol. 9634, pp. 73-90, Foundations of Software Science and Computation Structures, Eindhoven, Netherlands,
02/04/2016.
https://doi.org/10.1007/978-3-662-49630-5_5
APA
Axelsen, H. B., & Kaarsgaard, R. (2016).
Join inverse categories as models of reversible recursion. In B. Jacobs, & C. Löding (Eds.),
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 (pp. 73-90). Springer. Lecture notes in computer science Vol. 9634
https://doi.org/10.1007/978-3-662-49630-5_5
Vancouver
Axelsen HB, Kaarsgaard R.
Join inverse categories as models of reversible recursion. In Jacobs B, Löding C, editors, 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. Springer. 2016. p. 73-90. (Lecture notes in computer science, Vol. 9634).
https://doi.org/10.1007/978-3-662-49630-5_5
Author
Axelsen, Holger Bock ; Kaarsgaard, Robin. / Join inverse categories as models of reversible recursion. 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. editor / Bart Jacobs ; Christof Löding. Springer, 2016. pp. 73-90 (Lecture notes in computer science, Vol. 9634).
Bibtex
@inproceedings{9f8b2569f5ce41478249fa126e0cadf0,
title = "Join inverse categories as models of reversible recursion",
author = "Axelsen, {Holger Bock} and Robin Kaarsgaard",
year = "2016",
doi = "10.1007/978-3-662-49630-5_5",
language = "English",
isbn = "978-3-662-49629-9",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "73--90",
editor = "Bart Jacobs and Christof L{\"o}ding",
booktitle = "Foundations of Software Science and Computation Structures",
address = "Switzerland",
note = "null ; Conference date: 02-04-2016 Through 08-04-2016",
}
RIS
TY - GEN
T1 - Join inverse categories as models of reversible recursion
AU - Axelsen, Holger Bock
AU - Kaarsgaard, Robin
N1 - Conference code: 19
PY - 2016
Y1 - 2016
U2 - 10.1007/978-3-662-49630-5_5
DO - 10.1007/978-3-662-49630-5_5
M3 - Article in proceedings
SN - 978-3-662-49629-9
T3 - Lecture notes in computer science
SP - 73
EP - 90
BT - Foundations of Software Science and Computation Structures
A2 - Jacobs, Bart
A2 - Löding, Christof
PB - Springer
Y2 - 2 April 2016 through 8 April 2016
ER -