Join inverse categories and reversible recursion
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Standard
Join inverse categories and reversible recursion. / Kaarsgaard, Robin; Axelsen, Holger Bock; Glück, Robert.
I: Journal of Logical and Algebraic Methods in Programming, Bind 87, 2017, s. 33-50.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Harvard
Kaarsgaard, R, Axelsen, HB & Glück, R 2017, 'Join inverse categories and reversible recursion', Journal of Logical and Algebraic Methods in Programming, bind 87, s. 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