This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
| ISBN: | 9783540419600 |
| Publication date: | 20th April 2001 |
| Author: | TLCA 2001 Conference, Samson Abramsky |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 429 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Calculus and mathematical analysis Mathematical logic Mathematical foundations Compilers and interpreters Mathematical theory of computation Computer programming / software engineering |
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
Typed Lambda Calculi and Applications features in the following genres: Calculus and mathematical analysis, Mathematical logic, Mathematical foundations, Compilers and interpreters, Mathematical theory of computation, Computer programming / software engineering
Typed Lambda Calculi and Applications is available in Paperback
Typed Lambda Calculi and Applications was written by TLCA 2001 Conference, Samson Abramsky and published by Springer an imprint of Springer Berlin Heidelberg
Typed Lambda Calculi and Applications has 429 pages
Yes it is part of Lecture Notes in Computer Science series