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)

Applications

von: Jan F. Groote · Marc Bezem

Taschenbuch

ISBN-13: 978-3-540-56517-8

ISBN-10: 3-540-56517-5

Springer · 2008