Nuprl Definition : psc-restriction

f(s) ==  (snd(X)) I J f s


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi2: snd(t)
FDL editor aliases :  psc-restriction
Latex:
f(s)  ==    (snd(X))  I  J  f  s


Date html generated: 2018_05_22-PM-09_58_35
Last ObjectModification: 2018_02_19-PM-06_06_02

Theory : presheaf!models!of!type!theory


Home Index