This special issue of Logical Methods in Computer Science (LMCS) contains extended versions of selected papers from the Conference on Typed Lambda Calculus and Applications (TLCA '07), held in Paris, France, in June 26-28, 2007.

In consultation with the TLCA '07 Program Committee, a small number of papers presented at the symposium were selected, and their authors were invited to submit full versions to this special issue. All submissions were refereed in accordance with the usual high standards of LMCS.

We are grateful to the authors of the papers for their excellent contributions, to the members of the TLCA '07 Program Committee, to the reviewers for their eろts, to the managing editors of LMCS, Dana S. Scott, Gordon D. Plotkin, Moshe Y. Vardi for proposing this special issue, to the managing editor for special issues Benjamin Pierce and to the executive editor Jiri Adamek for their help and guidance throughout this process.