Nuprl Definition : mem_test_Maximum
mem_test_Maximum() == State-comb(
slf.{0};n,s.imax(n;s);mem_test_int'base())
Definitions occuring in Statement :
mem_test_int'base: mem_test_int'base(),
State-comb: State-comb(init;f;X),
imax: imax(a;b),
lambda: x.A[x],
natural_number: $n,
single-bag: {x}
FDL editor aliases :
mem_test_Maximum
mem\_test\_Maximum() == State-comb(\mlambda{}slf.\{0\};\mlambda{}n,s.imax(n;s);mem\_test\_int'base())
Date html generated:
2012_02_20-PM-05_11_45
Last ObjectModification:
2012_02_17-PM-06_24_21
Home
Index