%0 Conference Paper %1 conf/dagstuhl/AhmedBHM08a %A Ahmed, Amal %A Benton, Nick %A Hofmann, Martin %A Morrisett, Greg %B Types, Logics and Semantics for State %D 2008 %E Ahmed, Amal %E Benton, Nick %E Hofmann, Martin %E Morrisett, Greg %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 08061 Abstracts Collection -- Types, Logics and Semantics for State. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P8061.html#AhmedBHM08a %V 08061

@inproceedings{conf/dagstuhl/AhmedBHM08a, added-at = {2022-07-05T00:00:00.000+0200}, author = {Ahmed, Amal and Benton, Nick and Hofmann, Martin and Morrisett, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2319821e45eee6a8fb42d683ffc7d9d13/dblp}, booktitle = {Types, Logics and Semantics for State}, crossref = {conf/dagstuhl/2008P8061}, editor = {Ahmed, Amal and Benton, Nick and Hofmann, Martin and Morrisett, Greg}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1428}, interhash = {d9d25a8ddfbcfd46a0c306c2fef475c4}, intrahash = {319821e45eee6a8fb42d683ffc7d9d13}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:23:16.000+0200}, title = {08061 Abstracts Collection -- Types, Logics and Semantics for State.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P8061.html#AhmedBHM08a}, volume = 08061, year = 2008 }