%0 Conference Paper %1 conf/iclp/Hirata95 %A Hirata, Keiji %B ICLP %D 1995 %E Sterling, Leon %I MIT Press %K dblp %P 818 %T Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. %U http://dblp.uni-trier.de/db/conf/iclp/iclp95.html#Hirata95 %@ 0-262-69177-9

@inproceedings{conf/iclp/Hirata95, added-at = {2019-09-11T00:00:00.000+0200}, author = {Hirata, Keiji}, biburl = {https://www.bibsonomy.org/bibtex/2bcbdb3f5c3d0708575be6281bee65dd0/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1995}, editor = {Sterling, Leon}, interhash = {a162f90501d3bd854bd0333019937da9}, intrahash = {bcbdb3f5c3d0708575be6281bee65dd0}, isbn = {0-262-69177-9}, keywords = {dblp}, pages = 818, publisher = {MIT Press}, timestamp = {2019-09-12T12:07:39.000+0200}, title = {Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp95.html#Hirata95}, year = 1995 }