Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 25, 2001 Proceedings
- Författare
- Samson Abramsky
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-45413-7 |