%0 Conference Paper %1 conf/fossacs/MiliusMS10 %A Milius, Stefan %A Moss, Lawrence S. %A Schwencke, Daniel %B FoSSaCS %D 2010 %E Ong, C.-H. Luke %I Springer %K dblp %P 312-327 %T CIA Structures and the Semantics of Recursion. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2010.html#MiliusMS10 %V 6014 %@ 978-3-642-12031-2

@inproceedings{conf/fossacs/MiliusMS10, added-at = {2019-02-07T00:00:00.000+0100}, author = {Milius, Stefan and Moss, Lawrence S. and Schwencke, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2117f501a48929dd36770cbcf4c40305a/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2010}, editor = {Ong, C.-H. Luke}, ee = {https://doi.org/10.1007/978-3-642-12032-9_22}, interhash = {40d36fc54143de49356fc4d32700741b}, intrahash = {117f501a48929dd36770cbcf4c40305a}, isbn = {978-3-642-12031-2}, keywords = {dblp}, pages = {312-327}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:35.000+0200}, title = {CIA Structures and the Semantics of Recursion.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2010.html#MiliusMS10}, volume = 6014, year = 2010 }