Join inverse categories and reversible recursion
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Join inverse categories and reversible recursion. / Kaarsgaard, Robin; Axelsen, Holger Bock; Glück, Robert.
In: Journal of Logical and Algebraic Methods in Programming, Vol. 87, 2017, p. 33-50.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Kaarsgaard, R, Axelsen, HB & Glück, R 2017, 'Join inverse categories and reversible recursion', Journal of Logical and Algebraic Methods in Programming, vol. 87, pp. 33-50. https://doi.org/10.1016/j.jlamp.2016.08.003
APA
Kaarsgaard, R., Axelsen, H. B., & Glück, R. (2017). Join inverse categories and reversible recursion. Journal of Logical and Algebraic Methods in Programming, 87, 33-50. https://doi.org/10.1016/j.jlamp.2016.08.003
Vancouver
Kaarsgaard R, Axelsen HB, Glück R. Join inverse categories and reversible recursion. Journal of Logical and Algebraic Methods in Programming. 2017;87:33-50. https://doi.org/10.1016/j.jlamp.2016.08.003
Author
Bibtex
@article{888c23ba2822406aa98df935692396f5,
title = "Join inverse categories and reversible recursion",
author = "Robin Kaarsgaard and Axelsen, {Holger Bock} and Robert Gl{\"u}ck",
year = "2017",
doi = "10.1016/j.jlamp.2016.08.003",
language = "English",
volume = "87",
pages = "33--50",
journal = "Journal of Logical and Algebraic Methods in Programming",
issn = "2352-2208",
publisher = "Elsevier",
}
RIS
TY - JOUR
T1 - Join inverse categories and reversible recursion
AU - Kaarsgaard, Robin
AU - Axelsen, Holger Bock
AU - Glück, Robert
PY - 2017
Y1 - 2017
U2 - 10.1016/j.jlamp.2016.08.003
DO - 10.1016/j.jlamp.2016.08.003
M3 - Journal article
VL - 87
SP - 33
EP - 50
JO - Journal of Logical and Algebraic Methods in Programming
JF - Journal of Logical and Algebraic Methods in Programming
SN - 2352-2208
ER -
ID: 174128834