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-Verlag GmbH Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642216909, 9783642216916 |
| LCCN | 2011928922 |
| Serie | Lecture Notes in Computer Science -- 6690 |
| Número de Cutter | O58t |