Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Counting and Generating Terms in the Binary Lambda Calculus (Extended
  version)   In a paper entitled Binary lambda calculus and combinatory logic, John Tromp
presents a simple way of encoding lambda calculus terms as binary sequences. In
what follows, we study the numbers of binary strings of a given size that
represent lambda terms and derive results from their generating functions,
especially that the number of terms of size n grows roughly like 1.963447954.
.. n. In a second part we use this approach to generate random lambda terms
using Boltzmann samplers.

3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat