Nuprl Definition : pscm-dependent
(s)dep == (s o tp{i:l};tq)
Definitions occuring in Statement :
pscm-adjoin: (s;u),
typed-psc-snd: tq,
typed-psc-fst: tp{i:l},
psc-adjoin: X.A,
pscm-ap-type: (AF)s,
pscm-comp: G o F
Definitions occuring in definition :
pscm-adjoin: (s;u),
pscm-comp: G o F,
psc-adjoin: X.A,
typed-psc-fst: tp{i:l},
typed-psc-snd: tq,
pscm-ap-type: (AF)s
FDL editor aliases :
pscm-dependent
Latex:
(s)dep == (s o tp\{i:l\};tq)
Date html generated:
2018_05_23-AM-08_15_53
Last ObjectModification:
2018_02_21-PM-02_34_13
Theory : presheaf!models!of!type!theory
Home
Index