Nuprl Definition : typed-psc-snd
tq == q
Definitions occuring in Statement :
psc-snd: q
Definitions occuring in definition :
psc-snd: q
FDL editor aliases :
typed-psc-snd
Latex:
tq == q
Date html generated:
2018_05_23-AM-08_11_53
Last ObjectModification:
2018_02_21-PM-01_09_20
Theory : presheaf!models!of!type!theory
Home
Index