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.
Skew Confluence (Blom,Klop)<br />
0 2<br />
1<br />
<br />
0 → 1 0 → 2 n → n + 2<br />
<br />
3<br />
<br />
4<br />
<br />
Notice that from 1 we can reach number 3 that is greater than 2 , <strong>and</strong> from 2 we can<br />
reach number 4 that is greater than 3, so on.<br />
c b<br />
<br />
d<br />
• Skew confluence guarantees unicity of infinite normal forms<br />
a<br />
KID is Skew Confluent<br />
5<br />
<br />
6<br />
<br />
7<br />
<br />
8