Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science (4583), Band 4583)
von
Simona Ronchi Della Rocca
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-73227-3
ISBN-10: 3-540-73227-6
Springer
· 2007
