This volume of conference proceedings contains 29 research papers on typed lambda calculi, which are used as models of computation (where terms are viewed as programs in a typed programming language) and as logical theories (where types are viewed as propositions and terms as proofs).