Typed Lambda Calculi and Applications
7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Typed Lambda Calculi and Applications
| Autor | Pawel Urzyczyn |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 31, 1899 |
| Idioma | inglés |
| Páginas | 433 |
| Formato | Paperback |
| ISBN-13 | 9783540255932 |
| ISBN-10 | 3540255931 |
| Número de Cutter | U83t |