Differences
This shows you the differences between two versions of the page.
|
pp:2026:scala:l07 [2026/04/15 19:17] ldaniel created |
pp:2026:scala:l07 [2026/04/15 19:39] (current) ldaniel modificare header tabel reguli de reducere |
||
|---|---|---|---|
| Line 83: | Line 83: | ||
| Using what we learned from // free // and // bounded // variables, we can define a algorithm for $\beta$**-reduction**, given a expression $ e_1[x \ / \ e_2] $: | Using what we learned from // free // and // bounded // variables, we can define a algorithm for $\beta$**-reduction**, given a expression $ e_1[x \ / \ e_2] $: | ||
| - | ^ $ e_1 $ ^ $ e_1[x \ / \ e_2] $ ^ // condition // ^ | + | ^ $ \mathbf{e_1} $ ^ $ \mathbf{e_1[x \ / \ e_2]} $ ^ condition ^ |
| | $ x $ | $ e_2 $ | | | | $ x $ | $ e_2 $ | | | ||
| | $ y $ | $ y $ | $ x \neq y $ | | | $ y $ | $ y $ | $ x \neq y $ | | ||