%0 Conference Paper %1 conf/birthday/PierceT00 %A Pierce, Benjamin C. %A Turner, David N. %B Proof, Language, and Interaction %D 2000 %E Plotkin, Gordon D. %E Stirling, Colin %E Tofte, Mads %I The MIT Press %K dblp %P 455-494 %T Pict: a programming language based on the Pi-Calculus. %U http://dblp.uni-trier.de/db/conf/birthday/milner1999.html#PierceT00 %@ 978-0-262-16188-6

@inproceedings{conf/birthday/PierceT00, added-at = {2008-06-23T00:00:00.000+0200}, author = {Pierce, Benjamin C. and Turner, David N.}, biburl = {https://www.bibsonomy.org/bibtex/225ddeb51223f373c19b8ec7bbe4c4b2e/dblp}, booktitle = {Proof, Language, and Interaction}, crossref = {conf/birthday/1999milner}, date = {2008-06-23}, description = {dblp}, editor = {Plotkin, Gordon D. and Stirling, Colin and Tofte, Mads}, interhash = {41875bb46117fbe0a64c72d60b766cda}, intrahash = {25ddeb51223f373c19b8ec7bbe4c4b2e}, isbn = {978-0-262-16188-6}, keywords = {dblp}, pages = {455-494}, publisher = {The MIT Press}, timestamp = {2008-06-24T11:53:49.000+0200}, title = {Pict: a programming language based on the Pi-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/birthday/milner1999.html#PierceT00}, year = 2000 }