Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer ... Notes in Computer Science (2044), Band 2044)
von
Samson Abramsky
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-41960-0
ISBN-10: 3-540-41960-8
Springer
· 2001
