2373 search results - page 259 / 475 » On the Theory of Structural Subtyping |
148
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper defends an augmented cognitively oriented "genericdesign hypothesis": There are both significant similarities between the design activities implement...
141
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present a simple dynamic equilibrium model for an online exchange where both buyers and sellers arrive according to a exogenously defined stochastic process. The structure of t...
166
click to vote
JNS
2008
15 years 6 months ago
2008
The bifurcation theory and numerics of periodic orbits of general dynamical systems is well developed, and in recent years there has been rapid progress in the development of a bi...
177
click to vote
LISP
2006
15 years 6 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
178
Voted
JSYML
2007
15 years 6 months ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...