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

Luca Cardelli

 Home Mathematics Mathematicians Mathematicians by field Computer scientists Fellows of the Association for Computing Machinery
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Luca Cardelli is an influential figure in the fields of computer science, programming languages, and type theory. He is best known for his work in type systems, programming language design, and formal methods.

 Ancestors (6)

  1. Fellows of the Association for Computing Machinery
  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