Nuprl Definition : ses-private

Private(A) == (fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))))) A

Definitions occuring in Statement : pi1: fst(t), pi2: snd(t), apply: f a
FDL editor aliases : ses-private

Latex:
Private(A) == (fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))))) A Date html generated: 2015_07_23-PM-00_03_57 Last ObjectModification: 2012_08_30-PM-02_30_20 Home Index