Talk:Divergence (computer science)

Untitled
There is a dangling reference labeled simply "Pierce". This is almost certainly a reference to B.C. Pierce's "Types and Programming Languages". It needs to be fixed. The other reverence is also cryptic, pointing to "Baader & Nipkow" without other explanation.


 * They're both standard works in the field, so I didn't spell them out completely. Will do so soon. —Ruud 12:09, 20 October 2011 (UTC)