Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Intersection Type Distributors   We study a family of distributors-induced bicategorical models of
lambda-calculus, proving that they can be syntactically presented via
intersection type systems. We first introduce a class of 2-monads whose
algebras are monoidal categories modelling resource management. We lift these
monads to distributors and define a parametric Kleisli bicategory, giving a
sufficient condition for its cartesian closure. In this framework we define a
proof-relevant semantics: the interpretation of a term associates to it the set
of its typing derivations in appropriate systems. We prove that our model
characterize solvability, adapting reducibility techniques to our setting. We
conclude by describing two examples of our construction.

34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
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
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int