Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reasonable Space for the $\lambda$-Calculus, Logarithmically   Can the $\lambda$-calculus be considered as a reasonable computational model?
Can we use it for measuring the time and space consumption of algorithms? While
the literature contains positive answers about time, much less is known about
space. This paper presents a new reasonable space cost model for the
$\lambda$-calculus, based on a variant over the Krivine's abstract machine. For
the first time, this cost model is able to account for logarithmic space.
Moreover, we study the time behavior of our machine and show how to transport
our results to the call-by-value $\lambda$-calculus.

8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph