%0 Conference Paper %1 conf/aplas/Kobayashi09 %A Kobayashi, Naoki %B APLAS %D 2009 %E Hu, Zhenjiang %I Springer %K dblp %P 2-3 %T Types and Recursion Schemes for Higher-Order Program Verification. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2009.html#Kobayashi09 %V 5904 %@ 978-3-642-10671-2

@inproceedings{conf/aplas/Kobayashi09, added-at = {2019-10-19T00:00:00.000+0200}, author = {Kobayashi, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/21a681cea982910aa01f38f0d9c139dfb/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2009}, editor = {Hu, Zhenjiang}, ee = {https://doi.org/10.1007/978-3-642-10672-9_2}, interhash = {da9589233d2a869d36ab54e6fa8b2424}, intrahash = {1a681cea982910aa01f38f0d9c139dfb}, isbn = {978-3-642-10671-2}, keywords = {dblp}, pages = {2-3}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:20:30.000+0200}, title = {Types and Recursion Schemes for Higher-Order Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2009.html#Kobayashi09}, volume = 5904, year = 2009 }