Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings: International Conference Proceedings on Typed Lambda Calculi and Applications, TCLA'93, March 16-19, 1993, Utrecht, The Netherlands by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1993)


OUR TOP PICK

$159.00

Free postage
quantity
2 available
condition
Brand new
sold by
delivery
Est. 4 Jan - 16 JanFrom United Kingdom
Returns
30 days money back
Buyer pays return postage