TLCA’09 – Preliminary Call for Papers
Preliminary Call For Papers Ninth International Conference on Typed Lambda Calculi and Applications (TLCA ’09) Brasilia, July 01-03, 2009 Part of Federated Conference on Rewriting, Deduction, and Programming (RDP’09) http://rdp09.cic.unb.br/ ** Title and abstract due 19 December 2009 ** ** Deadline for submission 6 January 2009 ** The TLCA series of conferences serves as a [...]