Nuprl Definition : same-thread
same-thread(es;p;e;e') == final-iterate(p;e) = final-iterate(p;e') ∈ E
Definitions occuring in Statement :
es-E: E,
equal: s = t ∈ T,
final-iterate: final-iterate(f;x)
FDL editor aliases :
same-thread
same-thread
same-thread(es;p;e;e') == final-iterate(p;e) = final-iterate(p;e')
Date html generated:
2015_07_17-AM-09_08_31
Last ObjectModification:
2013_03_25-PM-01_58_43
Home
Index