%0 Conference Paper %1 conf/lics/HirschkoffMS13 %A Hirschkoff, Daniel %A Madiot, Jean-Marie %A Sangiorgi, Davide %B LICS %D 2013 %I IEEE Computer Society %K dblp %P 378-387 %T Name-Passing Calculi: From Fusions to Preorders and Types. %U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#HirschkoffMS13 %@ 978-1-4799-0413-6

@inproceedings{conf/lics/HirschkoffMS13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hirschkoff, Daniel and Madiot, Jean-Marie and Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/2bcc514dda6993872b0e0446495717dfc/dblp}, booktitle = {LICS}, crossref = {conf/lics/2013}, ee = {http://dl.acm.org/citation.cfm?id=2591380}, interhash = {d2013e8f41fa88de136c84f24b00e2da}, intrahash = {bcc514dda6993872b0e0446495717dfc}, isbn = {978-1-4799-0413-6}, keywords = {dblp}, pages = {378-387}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:10.000+0200}, title = {Name-Passing Calculi: From Fusions to Preorders and Types.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#HirschkoffMS13}, year = 2013 }