Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Lecture notes on the lambda calculus   This is a set of lecture notes that developed out of courses on the lambda
calculus that I taught at the University of Ottawa in 2001 and at Dalhousie
University in 2007 and 2013. Topics covered in these notes include the untyped
lambda calculus, the Church-Rosser theorem, combinatory algebras, the
simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong
normalization, polymorphism, type inference, denotational semantics, complete
partial orders, and the language PCF.

24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ