13306 search results - page 105 / 2662 » Theoretical Computer Science |
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
ERSHOV
2001
Springer
15 years 9 months ago
2001
Springer
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
139
Voted
BSL
2006
15 years 4 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...