Typed Lambda Calculi and Applications electronic resource : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings / edited by Pierre-Louis Curien
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |