---

L |-fpf-> v ==  <L, x.v>

---

Definitions :  pair: <a, b>,  lambda: x.A[x]
FDL editor aliases :  fpf-const

---

L  |-fpf->  v  ==    <L,  \mlambda{}x.v>


Date html generated: 2010_08_26-PM-11_56_56
Last ObjectModification: 2008_02_27-PM-09_41_51

Home Index