Mathematical Foundations of Computer Science
Mathematical Foundations of Computer Science
Turing Award Recipients
Turing Award Recipients
1934-2010
Logic for Computable Functions Calculus of communicating systems
Meta Language
1991 Turing Award
Computer Science Pioneers
Computer Science Pioneers