(f)(X,(Y)',self') ==
unprimed,primed.(f (unprimed 0) (primed 0))(i.X;(j.Y)';self')
Definitions :
es-rec-combined-interface: f(Y;(Z)';self'),
lambda: x.A[x],
apply: f a,
natural_number: $n
FDL editor aliases :
es-rec-combined-interface1-1
(f)(X,(Y)',self') == \mlambda{}unprimed,primed.(f (unprimed 0) (primed 0))(\mlambda{}i.X;(\mlambda{}j.Y)';self')
Date html generated:
2010_08_27-PM-02_40_46
Last ObjectModification:
2010_03_24-PM-12_35_36
Home
Index