1. Hendrik Pieter Barendregt. 1985. The lambda calculus - its syntax and semantics. Studies in logic and the foundations of mathematics Vol. 103. North-Holland. Hendrik Pieter Barendregt. 1985. The lambda calculus - its syntax and semantics. Studies in logic and the foundations of mathematics Vol. 103. North-Holland.
2. Stanley Burris and H. P. Sankappanavar . 1981. A Course in Universal Algebra . Springer . Stanley Burris and H. P. Sankappanavar. 1981. A Course in Universal Algebra. Springer.
3. Classical realizability as a classifier for nondeterminism
4. A formulae-as-type notion of control
5. Realizability algebras: a program to well order R