13306 search results - page 105 / 2662 » Theoretical Computer Science |
ITICSE
2006
ACM
15 years 3 months ago
2006
ACM
ERSHOV
2001
Springer
15 years 2 months ago
2001
Springer
TCS
2010
14 years 8 months ago
2010
CSIE
2009
IEEE
15 years 4 months ago
2009
IEEE
BSL
2006
14 years 10 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...