Nuprl Definition : csm-type
Type(sm;i) == (fst(snd(snd(sm)))) i
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t),
apply: f a
Definitions occuring in definition :
apply: f a,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
csm-type
Latex:
Type(sm;i) == (fst(snd(snd(sm)))) i
Date html generated:
2016_05_15-PM-05_10_23
Last ObjectModification:
2015_09_23-AM-07_51_53
Theory : general
Home
Index