Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Upper approximating probabilities of convergence in probabilistic
  coherence spaces   We develop a theory of probabilistic coherence spaces equipped with an
additional extensional structure and apply it to approximating probability of
convergence of ground type programs of probabilistic PCF whose free variables
are of ground types. To this end we define an adapted version of Krivine
Machine which computes polynomial approximations of the semantics of these
programs in the model. These polynomials provide approximations from below and
from above of probabilities of convergence; this is made possible by extending
the language with an error symbol which is extensionally maximal in the model.

30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph