Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Edición de la obra Typed Lambda Calculi and Applications
| Autor | Luke Ong |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 21, 2011 |
| Páginas | 260 |
| Formato | paperback |
| ISBN-13 | 9783642216923 |
| ISBN-10 | 3642216927 |
| Número de Cutter | O58t |