SimpleComb2(T1.P1[T1];T2.P2[T2];T1,T2.F[T1; T2];a,b.H[a; b]) ==
<2, 0, 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 :
SimpleComb2
SimpleComb2(T1.P1[T1];T2.P2[T2];T1,T2.F[T1; T2];a,b.H[a; b]) ==
ɚ, 0, 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_15_41
Last ObjectModification:
2010_06_23-PM-02_40_02
Home
Index