---

F|Loc,X, Y| ==  l,w.(F l (w 0) (w 1))|Loc; n.[X; Y][n]|

---

Definitions occuring in Statement :  simple-loc-comb: F|Loc; Xs|,  select: l[i],  apply: f a,  lambda: x.A[x],  cons: [car / cdr],  nil: [],  natural_number: $n
Definitions :  simple-loc-comb: F|Loc; Xs|,  apply: f a,  natural_number: $n,  lambda: x.A[x],  select: l[i],  cons: [car / cdr],  nil: []
FDL editor aliases :  simple-loc-comb-2

---

F|Loc,X,  Y|  ==    \mlambda{}l,w.(F  l  (w  0)  (w  1))|Loc;  \mlambda{}n.[X;  Y][n]|


Date html generated: 2011_08_16-PM-04_58_16
Last ObjectModification: 2011_06_21-PM-06_31_17

Home Index