ThresholdComb2(A;B) == MapFilterComb(A 
(?B);B;
s.threshold_val(s))
Definitions :
MapFilterComb: MapFilterComb(A;B;f),
product: x:A B[x],
union: left + right,
unit: Unit,
lambda: x.A[x],
threshold_val: threshold_val(p)
FDL editor aliases :
ThresholdComb2
ThresholdComb2(A;B) == MapFilterComb(A \mtimes{} (?B);B;\mlambda{}s.threshold\_val(s))
Date html generated:
2010_08_27-PM-08_24_11
Last ObjectModification:
2010_06_23-PM-11_02_48
Home
Index