diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-24 13:07:12 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-24 13:07:12 +0900 |
| commit | 6adf887fddf5dcd1db2dc38b9a19a60b5a883d5d (patch) | |
| tree | 573f4ed163b0671a85b0290872c4c2a41c539e79 | |
| parent | 9106e59fd05ab1fee9235f9e5e483fb839cf1176 (diff) | |
| download | inpla-6adf887fddf5dcd1db2dc38b9a19a60b5a883d5d.tar.gz inpla-6adf887fddf5dcd1db2dc38b9a19a60b5a883d5d.zip | |
Update README.md
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |