Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi   In this paper we use finite vector spaces (finite dimension, over finite
fields) as a non-standard computational model of linear logic. We first define
a simple, finite PCF-like lambda-calculus with booleans, and then we discuss
two finite models, one based on finite sets and the other on finite vector
spaces. The first model is shown to be fully complete with respect to the
operational semantics of the language. The second model is not complete, but we
develop an algebraic extension of the finite lambda calculus that recovers
completeness. The relationship between the two semantics is described, and
several examples based on Church numerals are presented.

10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat