Nuprl Definition : psc-m4
q4 == (q3)p
Definitions occuring in Statement :
psc-m3: q3,
psc-fst: p,
pscm-ap-term: (t)s
Definitions occuring in definition :
pscm-ap-term: (t)s,
psc-fst: p,
psc-m3: q3
FDL editor aliases :
psc-m4
Latex:
q4 == (q3)p
Date html generated:
2018_05_23-AM-08_12_11
Last ObjectModification:
2018_02_21-PM-01_11_48
Theory : presheaf!models!of!type!theory
Home
Index