Nuprl Definition : max_exch_Maximum
max_exch_Maximum() == Memory-class(
x,state.imax(x;state);loc.{0};max_exch_Input())
Definitions occuring in Statement :
max_exch_Input: max_exch_Input(),
Memory-class: Memory-class(f;init;X),
imax: imax(a;b),
lambda: x.A[x],
natural_number: $n,
single-bag: {x}
FDL editor aliases :
max_exch_Maximum
max\_exch\_Maximum() == Memory-class(\mlambda{}x,state.imax(x;state);\mlambda{}loc.\{0\};max\_exch\_Input())
Date html generated:
2012_02_20-PM-05_16_21
Last ObjectModification:
2012_02_17-PM-03_05_25
Home
Index