Nuprl Definition : RSC_init
RSC_init() == 
x,z.{x}
Definitions occuring in Statement :
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
RSC_init
RSC\_init() == \mlambda{}x,z.\{x\}
Date html generated:
2012_02_20-PM-03_39_42
Last ObjectModification:
2012_02_02-PM-01_58_12
Home
Index