Relating Dataflow and Lambda-calculus
Relating Dataflow and Lambda-calculus
Relating Dataflow and Lambda-calculus
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Graph Rewriting<br />
Categorical approach: single or double pushouts – Too abstract<br />
Implementation approach: allocations of nodes <strong>and</strong> redirections – Too<br />
low level<br />
Equational Graph Rewriting System<br />
TRS’s + Letrec<br />
λ-<strong>calculus</strong> + Letrec