Nuprl Definition : ler2_Nbr
ler2_Nbr() == Memory1(
l.{<0, l>};ler2_new_conf();ler2_config'base())
Definitions occuring in Statement :
ler2_config'base: ler2_config'base(),
Memory1: Memory1(init;tr;X),
lambda: x.A[x],
pair: <a, b>,
natural_number: $n,
single-bag: {x}
FDL editor aliases :
ler2_Nbr
ler2\_Nbr() == Memory1(\mlambda{}l.\{ɘ, l>\};ler2\_new\_conf();ler2\_config'base())
Date html generated:
2012_02_20-PM-06_13_04
Last ObjectModification:
2012_02_02-PM-02_42_02
Home
Index