Typed Lambda Calculi and Applications electronic resource : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / edited by Samson Abramsky

Författare
Poland) 2001 : (5th International Conference on Typed Lambda Calculi and Applications Kraków
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat