RecComb1(T.P[T];T.F[T];v,s.H[v; s]) ==
<1, 0, tt, 
L.P[L[0]], L.F[L[0]], g,s.H[g 0; s]>
Definitions :
btrue: tt,
pair: <a, b>,
select: l[i],
lambda: x.A[x],
apply: f a,
natural_number: $n
FDL editor aliases :
RecComb1
RecComb1(T.P[T];T.F[T];v,s.H[v; s]) == ə, 0, tt, \mlambda{}L.P[L[0]], \mlambda{}L.F[L[0]], \mlambda{}g,s.H[g 0; s]>
Date html generated:
2010_08_27-PM-08_15_40
Last ObjectModification:
2010_06_23-PM-12_54_03
Home
Index