Nuprl Definition : rec-bind-df-init
rec-bind-df-init(ix;iy) == 
a.<inl (ix a) , inl <inl (iy a) , {}> >
Definitions occuring in Statement :
apply: f a,
lambda: x.A[x],
pair: <a, b>,
inl: inl x ,
empty-bag: {}
FDL editor aliases :
rec-bind-df-init
rec-bind-df-init(ix;iy) == \mlambda{}a.<inl (ix a) , inl <inl (iy a) , \{\}> >
Date html generated:
2012_02_20-PM-02_42_54
Last ObjectModification:
2012_02_13-PM-10_21_18
Home
Index