%0 Conference Paper %1 journals/entcs/CocciaGM02 %A Coccia, Matteo %A Gadducci, Fabio %A Montanari, Ugo %B CTCS %D 2002 %E Blute, Richard %E Selinger, Peter %I Elsevier %K dblp %P 83-100 %T GS.Lambda Theories: A Syntax for Higher-Order Graphs. %U http://dblp.uni-trier.de/db/journals/entcs/entcs69.html#CocciaGM02 %V 69

@inproceedings{journals/entcs/CocciaGM02, added-at = {2021-02-12T00:00:00.000+0100}, author = {Coccia, Matteo and Gadducci, Fabio and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/286ba550e5080f3b88b1b556af79750d0/dblp}, booktitle = {CTCS}, crossref = {conf/ctcs/2002}, editor = {Blute, Richard and Selinger, Peter}, ee = {https://doi.org/10.1016/S1571-0661(04)80560-7}, interhash = {83d53fc46be00040ed2eed19ce7b7ff9}, intrahash = {86ba550e5080f3b88b1b556af79750d0}, keywords = {dblp}, pages = {83-100}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T12:39:21.000+0200}, title = {GS.Lambda Theories: A Syntax for Higher-Order Graphs.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs69.html#CocciaGM02}, volume = 69, year = 2002 }