Nuprl Definition : quicksort-int
quicksort-int(L) == quicksort(λi,j. (j - i);L)
Definitions occuring in Statement :
quicksort: quicksort(cmp;L),
lambda: λx.A[x],
subtract: n - m
Definitions occuring in definition :
quicksort: quicksort(cmp;L),
lambda: λx.A[x],
subtract: n - m
FDL editor aliases :
quicksort-int
Latex:
quicksort-int(L) == quicksort(\mlambda{}i,j. (j - i);L)
Date html generated:
2016_05_15-PM-04_29_37
Last ObjectModification:
2015_09_23-AM-07_48_55
Theory : general
Home
Index