Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science (664), Band 664)
von:
Jan F. Groote
·
Marc Bezem
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-56517-8
ISBN-10: 3-540-56517-5
Springer
· 2008