SimpleComb1(T1.P1[T1];T.F[T];a.H[a]) ==
<1, 0, ff, 
L.P1[L[0]], L.F[L[0]], g.H[g 0]>
Definitions :
bfalse: ff,
pair: <a, b>,
select: l[i],
lambda: x.A[x],
apply: f a,
natural_number: $n
FDL editor aliases :
SimpleComb1
SimpleComb1(T1.P1[T1];T.F[T];a.H[a]) == ə, 0, ff, \mlambda{}L.P1[L[0]], \mlambda{}L.F[L[0]], \mlambda{}g.H[g 0]>
Date html generated:
2010_08_27-PM-08_15_54
Last ObjectModification:
2010_06_23-PM-04_25_28
Home
Index