%0 Conference Paper %1 conf/tphol/BentonKV09 %A Benton, Nick %A Kennedy, Andrew %A Varming, Carsten %B TPHOLs %D 2009 %E Berghofer, Stefan %E Nipkow, Tobias %E Urban, Christian %E Wenzel, Makarius %I Springer %K dblp %P 115-130 %T Some Domain Theory and Denotational Semantics in Coq. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#BentonKV09 %V 5674 %@ 978-3-642-03358-2

@inproceedings{conf/tphol/BentonKV09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Benton, Nick and Kennedy, Andrew and Varming, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/25f528bfc1661ca997dcce1c017e64908/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2009}, editor = {Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius}, ee = {https://doi.org/10.1007/978-3-642-03359-9_10}, interhash = {95c454107ec84f00eea935e43695e066}, intrahash = {5f528bfc1661ca997dcce1c017e64908}, isbn = {978-3-642-03358-2}, keywords = {dblp}, pages = {115-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:27.000+0200}, title = {Some Domain Theory and Denotational Semantics in Coq.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#BentonKV09}, volume = 5674, year = 2009 }