Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Abductive functional programming, a semantic approach   We propose a call-by-value lambda calculus extended with a new construct
inspired by abductive inference and motivated by the programming idioms of
machine learning. Although syntactically simple the abductive construct has a
complex and subtle operational semantics which we express using a style based
on the Geometry of Interaction. We show that the calculus is sound, in the
sense that well typed programs terminate normally. We also give a visual
implementation of the semantics which relies on additional garbage collection
rules, which we also prove sound.

14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga