%0 Conference Paper %1 conf/fossacs/JeffreyR05 %A Jeffrey, Alan %A Rathke, Julian %B FoSSaCS %D 2005 %E Sassone, Vladimiro %I Springer %K dblp %P 266-281 %T Full Abstraction for Polymorphic Pi-Calculus. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2005.html#JeffreyR05 %V 3441 %@ 3-540-25388-2

@inproceedings{conf/fossacs/JeffreyR05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Jeffrey, Alan and Rathke, Julian}, biburl = {https://www.bibsonomy.org/bibtex/2741b40d29fe757ad68805024672e4dcb/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2005}, editor = {Sassone, Vladimiro}, ee = {https://doi.org/10.1007/978-3-540-31982-5_17}, interhash = {69821d72416a520517f21413e59a15a5}, intrahash = {741b40d29fe757ad68805024672e4dcb}, isbn = {3-540-25388-2}, keywords = {dblp}, pages = {266-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:06.000+0200}, title = {Full Abstraction for Polymorphic Pi-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2005.html#JeffreyR05}, volume = 3441, year = 2005 }