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.
Articles by others on the same topic
There are currently no matching articles.