3333 search results - page 30 / 667 » Abstract Proof Search |
AIPS
2006
15 years 3 months ago
2006
AAAI
1996
15 years 3 months ago
1996
JAIR
2007
15 years 2 months ago
2007
143
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
117
click to vote
MOR
2007
15 years 1 months ago
2007
We consider a generalization of the model of stochastic search in an out-forest, introduced and studied by Denardo, Rothblum, and Van der Heyden [1]. We provide a simple proof of ...