By Gilles Dowek (eds.)
This publication constitutes the refereed lawsuits of the Joint twenty fifth foreign convention on Rewriting thoughts and purposes, RTA 2014, and twelfth foreign convention on Typed Lambda-Calculi and purposes, TLCA 2014, held as a part of the Vienna summer time of common sense, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised complete papers and three brief papers awarded have been rigorously reviewed and chosen from 87 submissions. The papers supply study effects on all points of rewriting and typed lambda calculi, starting from theoretical and methodological matters to purposes in quite a few contexts. They handle a wide selection of subject matters reminiscent of algorithmic elements, implementation, common sense, kinds, semantics, and programming.