From 6adf887fddf5dcd1db2dc38b9a19a60b5a883d5d Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Fri, 24 Dec 2021 13:07:12 +0900 Subject: Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index f25ecd5..ce75686 100644 --- a/README.md +++ b/README.md @@ -980,7 +980,7 @@ In this reduction strategy, only connections that have interface names (thus, li -# Publications +## Publications * [1] Ian Mackie, Shinya Sato, [*In-place Graph Rewriting with Interaction Nets*](https://arxiv.org/abs/1609.03641), TERMGRAPH 2016, EPTCS 225, pp.15-24, 2016. * [2] Shinya Sato, @@ -995,13 +995,13 @@ Electronic Communications of the EASST, Volume 73: Graph Computation Models - Se -# Related Works +## Related Works * [HINet: Interaction Nets in Haskell](http://www.cas.mcmaster.ca/~kahl/Haskell/HINet/) -# License +## License Copyright (c) 2021 [Shinya SATO](http://satolab.com/) Released under the MIT license -- cgit v1.2.3