Sciweavers

74
Voted
ENTCS
2006
110views more  ENTCS 2006»
14 years 9 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer