08061 Abstracts Collection -- Types, Logics and Semantics for State. Ahmed, A., Benton, N., Hofmann 0001, M., & Morrisett, G. In Proceedings of Types, Logics and Semantics for State, 2008. Paper bibtex @inproceedings{ dblp3551931,
title = {08061 Abstracts Collection -- Types, Logics and Semantics for State},
author = {Amal Ahmed and Nick Benton and Martin Hofmann 0001 and Greg Morrisett},
author_short = {Ahmed, A. and Benton, N. and Hofmann 0001, M. and Morrisett, G.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2008},
key = {dblp3551931},
id = {dblp3551931},
biburl = {http://www.dblp.org/rec/bibtex/conf/dagstuhl/AhmedBHM08a},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1428},
conference = {Types, Logics and Semantics for State},
text = {Types, Logics and Semantics for State 2008},
booktitle = {Proceedings of Types, Logics and Semantics for State}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f0b"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Ahmed, A.","Benton, N.","Hofmann 0001, M.","Morrisett, G."],"bibbaseid":"ahmed-benton-hofmann0001-morrisett-08061abstractscollectiontypeslogicsandsemanticsforstate-2008","bibdata":{"title":"08061 Abstracts Collection -- Types, Logics and Semantics for State","author":["Amal Ahmed","Nick Benton","Martin Hofmann 0001","Greg Morrisett"],"author_short":["Ahmed, A.","Benton, N.","Hofmann 0001, M.","Morrisett, G."],"bibtype":"inproceedings","type":"inproceedings","year":"2008","key":"dblp3551931","id":"dblp3551931","biburl":"http://www.dblp.org/rec/bibtex/conf/dagstuhl/AhmedBHM08a","url":"http://drops.dagstuhl.de/opus/volltexte/2008/1428","conference":"Types, Logics and Semantics for State","text":"Types, Logics and Semantics for State 2008","booktitle":"Proceedings of Types, Logics and Semantics for State","bibtex":"@inproceedings{ dblp3551931,\n title = {08061 Abstracts Collection -- Types, Logics and Semantics for State},\n author = {Amal Ahmed and Nick Benton and Martin Hofmann 0001 and Greg Morrisett},\n author_short = {Ahmed, A. and Benton, N. and Hofmann 0001, M. and Morrisett, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp3551931},\n id = {dblp3551931},\n biburl = {http://www.dblp.org/rec/bibtex/conf/dagstuhl/AhmedBHM08a},\n url = {http://drops.dagstuhl.de/opus/volltexte/2008/1428},\n conference = {Types, Logics and Semantics for State},\n text = {Types, Logics and Semantics for State 2008},\n booktitle = {Proceedings of Types, Logics and Semantics for State}\n}","bibbaseid":"ahmed-benton-hofmann0001-morrisett-08061abstractscollectiontypeslogicsandsemanticsforstate-2008","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/opus/volltexte/2008/1428"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/dagstuhl/AhmedBHM08a","downloads":0,"keywords":[],"search_terms":["08061","abstracts","collection","types","logics","semantics","state","ahmed","benton","hofmann 0001","morrisett"],"title":"08061 Abstracts Collection -- Types, Logics and Semantics for State","year":2008,"dataSources":["pHJ62RDwkDE77KCs7"]}