diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-24 13:07:27 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-24 13:07:27 +0900 |
| commit | 3e1448d61b25695d6aa20e3623fd47e6a8272dc6 (patch) | |
| tree | 573f4ed163b0671a85b0290872c4c2a41c539e79 | |
| parent | 7f36d93bb4279deefe34ce1b8e9e3518ea9259c4 (diff) | |
| parent | 6adf887fddf5dcd1db2dc38b9a19a60b5a883d5d (diff) | |
| download | inpla-3e1448d61b25695d6aa20e3623fd47e6a8272dc6.tar.gz inpla-3e1448d61b25695d6aa20e3623fd47e6a8272dc6.zip | |
Merge branch 'develop'
| -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 |