13306 search results - page 105 / 2662 » Theoretical Computer Science |
79
Voted
ITICSE
2006
ACM
15 years 8 months ago
2006
ACM
74
Voted
ERSHOV
2001
Springer
15 years 7 months ago
2001
Springer
101
Voted
TCS
2010
15 years 1 months ago
2010
80
Voted
CSIE
2009
IEEE
15 years 9 months ago
2009
IEEE
121
Voted
BSL
2006
15 years 2 months ago
2006
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...