A short introduction to the Lambda Calculus Notes from the second year course Models of Computation, taught at the University of Birmingham, 98/99 to 03/04.
An introduction to Edalat's theory of R-integration Notes for a series of talks given during the 1997 MATHFIT Summer School on New Paradigms for Computation on Classical Spaces in Birmingham.