Sharing Implementations of Graph Rewriting Systems
2005
https://www.sciencedirect.com/science/article/pii/S1571066105050164
proof nets
lambda calculus
graph
sharing
optimal reduction
/icons/hr.icon
description
sharing graphのより簡単な実装.月みたいなやつをやめて,エッジにラベルを付けてる.