%0 Conference Paper %1 conf/fossacs/AxelsenK16 %A Axelsen, Holger Bock %A Kaarsgaard, Robin %B FoSSaCS %D 2016 %E Jacobs, Bart %E Löding, Christof %I Springer %K dblp %P 73-90 %T Join Inverse Categories as Models of Reversible Recursion. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#AxelsenK16 %V 9634 %@ 978-3-662-49629-9

@inproceedings{conf/fossacs/AxelsenK16, added-at = {2017-06-15T00:00:00.000+0200}, author = {Axelsen, Holger Bock and Kaarsgaard, Robin}, biburl = {https://www.bibsonomy.org/bibtex/28364141b755bcb95a84f5389089630f1/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2016}, editor = {Jacobs, Bart and Löding, Christof}, ee = {https://doi.org/10.1007/978-3-662-49630-5_5}, interhash = {3aa57471bc88ac078e71ffc2c015a864}, intrahash = {8364141b755bcb95a84f5389089630f1}, isbn = {978-3-662-49629-9}, keywords = {dblp}, pages = {73-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:18.000+0200}, title = {Join Inverse Categories as Models of Reversible Recursion.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2016.html#AxelsenK16}, volume = 9634, year = 2016 }