Nuprl Definition : pscm+
tau+ == (tau o p;q)
Definitions occuring in Statement :
pscm-adjoin: (s;u),
psc-snd: q,
psc-fst: p,
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,
pscm-ap-type: (AF)s,
psc-fst: p,
psc-snd: q
FDL editor aliases :
csm+
Latex:
tau+ == (tau o p;q)
Date html generated:
2018_05_23-AM-08_14_07
Last ObjectModification:
2018_02_21-PM-02_48_46
Theory : presheaf!models!of!type!theory
Home
Index