Typed Lambda Calculi and Applications
7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
Edición de la obra Typed Lambda Calculi and Applications
| Autor | Pawel Urzyczyn |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540320142 |
| Número de Cutter | U83t |