Nuprl Definition : s-tl
s-tl(s) ==  snd(s)
Definitions occuring in Statement : 
pi2: snd(t)
Definitions occuring in definition : 
pi2: snd(t)
FDL editor aliases : 
s-tl
Latex:
s-tl(s)  ==    snd(s)
Date html generated:
2016_05_14-AM-06_22_20
Last ObjectModification:
2015_09_22-PM-05_47_51
Theory : co-recursion
Home
Index