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)

$61.33

Save:$35.54 (37%)

Quantity

20+ in stock

More Information

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

ISBN 10: 3540565175
ISBN 13: 9783540565178