Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.
| ISBN: | 9783540732273 |
| Publication date: | 15th June 2007 |
| Author: | Simona Ronchi Della Rocca |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 400 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Compilers and interpreters Computer programming / software engineering |
Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.
Typed Lambda Calculi and Applications Theoretical Computer Science and General Issues features in the following genres: Mathematical theory of computation, Compilers and interpreters, Computer programming / software engineering
Paperback. Not Available.
Typed Lambda Calculi and Applications Theoretical Computer Science and General Issues was written by Simona Ronchi Della Rocca and published by Springer an imprint of Springer Berlin Heidelberg
Typed Lambda Calculi and Applications Theoretical Computer Science and General Issues has 400 pages
Yes it is part of Lecture Notes in Computer Science series