Nuprl Definition : let

let x = a in b[x] ==  (λx.b[x]) a


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  let
Latex:
let  x  =  a  in  b[x]  ==    (\mlambda{}x.b[x])  a


Date html generated: 2016_05_13-PM-03_14_44
Last ObjectModification: 2016_01_04-AM-10_26_19

Theory : core_2


Home Index