Nuprl Definition : pscm-swap
pscm-swap(G;A;B) == (p+;(q)p)
Definitions occuring in Statement :
pscm+: tau+,
pscm-adjoin: (s;u),
psc-snd: q,
psc-fst: p,
psc-adjoin: X.A,
pscm-ap-term: (t)s
Definitions occuring in definition :
pscm-adjoin: (s;u),
pscm+: tau+,
psc-adjoin: X.A,
pscm-ap-term: (t)s,
psc-fst: p,
psc-snd: q
FDL editor aliases :
pscm-swap
Latex:
pscm-swap(G;A;B) == (p+;(q)p)
Date html generated:
2018_05_23-AM-08_14_33
Last ObjectModification:
2018_02_21-PM-02_55_26
Theory : presheaf!models!of!type!theory
Home
Index