Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linear Types Can Change the Blockchain   We give an interpretation of full classical linear logic, and linear proofs
in terms of operations on the blockchain.

37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an