Nuprl Definition : lambda def
λx.A[x] == PRIMITIVE
Rules referencing :
lambdaFormation,
lambdaEquality,
equalityEqualityBase,
cut,
comment,
bar_Induction,
strong_bar_Induction,
StrongContinuity2,
sqleLambda,
islambdaCases,
allFunctionality,
uallFunctionality,
allLevelFunctionality,
impliesFunctionality
FDL editor aliases :
lam
Latex:
\mlambda{}x.A[x] == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_58
Last ObjectModification:
2006_01_26-PM-03_54_56
Theory : core_1
Home
Index