RTA-TLCA Home Page
Overview
RTA-TLCA unites the 25th International Conference on Rewriting Techniques and Applications with the 12th International Conference on Typed Lambda Calculi and Applications.
Detailed information on RTATLCA-2014 can be found on the RTATLCA-2014 website.