Nuprl Definition : discrete-presheaf-term
discr(t) == λI,alpha. t
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
FDL editor aliases :
discrete-presheaf-term
Latex:
discr(t) == \mlambda{}I,alpha. t
Date html generated:
2018_05_23-AM-08_24_06
Last ObjectModification:
2018_02_21-PM-11_15_05
Theory : presheaf!models!of!type!theory
Home
Index