@inproceedings{yasen:hal-01760636, TITLE = {{Unification of Hypergraph $\lambda $-Terms}}, AUTHOR = {Yasen, Alimujiang and Ueda, Kazunori}, URL = {https://inria.hal.science/hal-01760636}, NOTE = {Part 3: Logic, Semantics, and Programming Theory}, BOOKTITLE = {{2nd International Conference on Topics in Theoretical Computer Science (TTCS)}}, ADDRESS = {Tehran, Iran}, EDITOR = {Mohammad Reza Mousavi and Ji{\v r}{\'i} Sgall}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Topics in Theoretical Computer Science}, VOLUME = {LNCS-10608}, PAGES = {106-124}, YEAR = {2017}, MONTH = Sep, DOI = {10.1007/978-3-319-68953-1\_9}, PDF = {https://inria.hal.science/hal-01760636/file/440117_1_En_9_Chapter.pdf}, HAL_ID = {hal-01760636}, HAL_VERSION = {v1}, }