The English Wikipedia article on John C. Reynolds, American computer scientist known for separation logic and the polymorphic lambda calculus.
Facts
PublisherWikimedia Foundation
Urlhttps://en.wikipedia.org/wiki/John_C._Reynolds
Source TypeReference Work
Reliability Tier2
Sources
Wikipedia: John C. Reynolds
Claims Backed By This Source (10 claims)
This source backs 10 claims across the atlas. As facts: 9 well-attested. Plus 1 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Pioneers, 6 claims: 5 well-attested, 1 general references.
- Sources, 4 claims: 4 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.