OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Robert L. Constable

 Home Mathematics Mathematicians Mathematicians by field Computer scientists Computer scientist stubs
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Robert L. Constable is a computer scientist known for his work in formal methods, programming languages, and automated reasoning. He has made significant contributions to the development of proof assistants and functional programming languages. Constable is particularly recognized for his role in the design of the Nuprl proof development system, which supports constructive mathematics and formal proofs.

 Ancestors (6)

  1. Computer scientist stubs
  2. Computer scientists
  3. Mathematicians by field
  4. Mathematicians
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook