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