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
Latex:
TC(\mlambda{}x,y.F[x; y])(a,b) == TC(\mlambda{}x,y. F[x; y]) a b
Date html generated:
2016_05_16-AM-09_07_38
Last ObjectModification:
2012_07_11-PM-04_58_17
Theory : first-order!and!ancestral!logic
Home
Index