Nuprl Definition : pscm-type-ap

pscm-type-ap(A;s) ==  (A)s


Definitions occuring in Statement :  pscm-ap-type: (AF)s
Definitions occuring in definition :  pscm-ap-type: (AF)s
FDL editor aliases :  pscm-type-ap
Latex:
pscm-type-ap(A;s)  ==    (A)s


Date html generated: 2018_05_22-PM-10_03_19
Last ObjectModification: 2018_02_21-AM-11_45_27

Theory : presheaf!models!of!type!theory


Home Index