5964 search results - page 62 / 1193 » A theory of speculative computation |
134
click to vote
FUIN
2007
15 years 4 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
138
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
164
click to vote
Lecture Notes
These lecture notes cover several topics such as Consumer Theory Basics, The Traditional Approach To Consumer Theory, Topics in Consumer Theory,
Producer Theory, Choice Under Unce...
246
click to vote
APAL
2011
14 years 11 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
