%0 Conference Paper %1 conf/aplas/BohrB06 %A Bohr, Nina %A Birkedal, Lars %B APLAS %D 2006 %E Kobayashi, Naoki %I Springer %K dblp %P 79-96 %T Relational Reasoning for Recursive Types and References. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2006.html#BohrB06 %V 4279 %@ 3-540-48937-1

@inproceedings{conf/aplas/BohrB06, added-at = {2017-05-19T00:00:00.000+0200}, author = {Bohr, Nina and Birkedal, Lars}, biburl = {https://www.bibsonomy.org/bibtex/21469028c93d3e453474c790f91d948d4/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2006}, editor = {Kobayashi, Naoki}, ee = {https://doi.org/10.1007/11924661_5}, interhash = {1f2c657e12917d7946486eeb31b36e2a}, intrahash = {1469028c93d3e453474c790f91d948d4}, isbn = {3-540-48937-1}, keywords = {dblp}, pages = {79-96}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:42:01.000+0200}, title = {Relational Reasoning for Recursive Types and References.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2006.html#BohrB06}, volume = 4279, year = 2006 }