---

std-env(nm) ==  t,r.<0, 0, nm>

---

Definitions :  lambda: x.A[x],  pair: <a, b>,  natural_number: $n
FDL editor aliases :  std-env

---

std-env(nm)  ==    \mlambda{}t,r.ɘ,  0,  nm>


Date html generated: 2010_08_27-PM-06_45_15
Last ObjectModification: 2010_05_31-PM-01_10_57

Home Index