Nuprl Definition : presheaf-lam
presheaf-lam(X;b) == (λb)
Definitions occuring in Statement :
presheaf-lambda: (λb)
Definitions occuring in definition :
presheaf-lambda: (λb)
FDL editor aliases :
presheaf-lam
Latex:
presheaf-lam(X;b) == (\mlambda{}b)
Date html generated:
2018_05_23-AM-08_17_34
Last ObjectModification:
2018_02_21-PM-03_08_24
Theory : presheaf!models!of!type!theory
Home
Index