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