Nuprl Definition : TC
TC(λx,y.F[x; y])(a,b) == TC(λx,y. F[x; y]) a b
Definitions occuring in Statement :
transitive-closure: TC(R),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
TC
TC(\mlambda{}x,y.F[x; y])(a,b) == TC(\mlambda{}x,y. F[x; y]) a b
Date html generated:
2015_07_17-AM-07_52_32
Last ObjectModification:
2012_07_11-PM-04_58_17
Home
Index