Nuprl Definition : ni-min
ni-min(f;g) == λi.((f i) ∧b (g i))
Definitions occuring in Statement :
band: p ∧b q,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
band: p ∧b q,
apply: f a
FDL editor aliases :
ni-min
Latex:
ni-min(f;g) == \mlambda{}i.((f i) \mwedge{}\msubb{} (g i))
Date html generated:
2016_05_15-PM-01_48_24
Last ObjectModification:
2015_09_23-AM-07_37_12
Theory : basic
Home
Index