Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... (Lecture Notes in Computer Science)

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... (Lecture Notes in Computer Science)

by Marc Bezem (Author), Jan F. Groote (Author)

$92.36

Save:$6.85 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 452
Edition: 1993
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540565175
ISBN 13: 9783540565178