Pict: a programming language based on the Pi-Calculus. Pierce, B. C. & Turner, D. N. In Proof, Language, and Interaction, Essays in Honour of Robin Milner, pages 455-494, 2000. bibtex @inproceedings{ DBLP:conf/birthday/PierceT00,
author = {Benjamin C. Pierce and David N. Turner},
title = {Pict: a programming language based on the Pi-Calculus},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {455-494} ,
year = {2000}
}
Downloads: 0
{"_id":{"_str":"520944dba9e4b91d2f000283"},"__v":12,"authorIDs":["5458b5e9b43425b7720001a7","54606d5acff45d9c64000040"],"author_short":["Pierce, B. C.","Turner, D. N."],"bibbaseid":"pierce-turner-pictaprogramminglanguagebasedonthepicalculus-2000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["David","N."],"propositions":[],"lastnames":["Turner"],"suffixes":[]}],"title":"Pict: a programming language based on the Pi-Calculus","booktitle":"Proof, Language, and Interaction, Essays in Honour of Robin Milner","pages":"455-494","year":"2000","bibtex":"@inproceedings{ DBLP:conf/birthday/PierceT00,\n author = {Benjamin C. Pierce and David N. Turner},\n title = {Pict: a programming language based on the Pi-Calculus},\n booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},\n pages = {455-494} ,\n year = {2000}\n}\n\n\n","author_short":["Pierce, B. C.","Turner, D. N."],"key":"DBLP:conf/birthday/PierceT00","id":"DBLP:conf/birthday/PierceT00","bibbaseid":"pierce-turner-pictaprogramminglanguagebasedonthepicalculus-2000","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/benjamin-c-pierce/?format=bibtex","downloads":0,"keywords":[],"search_terms":["pict","programming","language","based","calculus","pierce","turner"],"title":"Pict: a programming language based on the Pi-Calculus","title_words":["pict","programming","language","based","calculus"],"year":2000,"dataSources":["spTtrLGzwtPFw72mR"]}