%0 Conference Paper %1 conf/esop/BieringBT05 %A Biering, Bodil %A Birkedal, Lars %A Torp-Smith, Noah %B ESOP %D 2005 %E Sagiv, Shmuel %I Springer %K dblp %P 233-247 %T BI Hyperdoctrines and Higher-Order Separation Logic. %U http://dblp.uni-trier.de/db/conf/esop/esop2005.html#BieringBT05 %V 3444 %@ 3-540-25435-8

@inproceedings{conf/esop/BieringBT05, added-at = {2019-06-02T00:00:00.000+0200}, author = {Biering, Bodil and Birkedal, Lars and Torp-Smith, Noah}, biburl = {https://www.bibsonomy.org/bibtex/21b9027d2c984e0d88d2e0ff3d8dfd015/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2005}, editor = {Sagiv, Shmuel}, ee = {https://www.wikidata.org/entity/Q63177866}, interhash = {a44f0f0e2d7df2c3090c75d1e41100bf}, intrahash = {1b9027d2c984e0d88d2e0ff3d8dfd015}, isbn = {3-540-25435-8}, keywords = {dblp}, pages = {233-247}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {BI Hyperdoctrines and Higher-Order Separation Logic.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2005.html#BieringBT05}, volume = 3444, year = 2005 }