The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions.
| ISBN: | 9783540403326 |
| Publication date: | 27th May 2003 |
| Author: | TLCA 2003, Martin Hofmann |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 315 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical logic Compilers and interpreters Mathematical theory of computation Mathematical foundations Computer programming / software engineering |
The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions.
Typed Lambda Calculi and Applications features in the following genres: Mathematical logic, Compilers and interpreters, Mathematical theory of computation, Mathematical foundations, Computer programming / software engineering
Paperback. Not Available.
Typed Lambda Calculi and Applications was written by TLCA 2003, Martin Hofmann and published by Springer an imprint of Springer Berlin Heidelberg
Typed Lambda Calculi and Applications has 315 pages
Yes it is part of Lecture Notes in Computer Science series