Book Details

Typed Lambda Calculi and Applications

Publication year: 2005

ISBN: 978-3-540-32014-2

Internet Resource: Please Login to download book


The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005).


Subject: Computer Science, Signatur, algorithm, algorithms, computational logic, formal method, formal methods, lambda calculus, logic, logical relations, program semantics, programming, programming calculi, programming theory, semantics, type systems