Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, ...(Lecture Notes in Computer Science)
by Groote, Philippe De [Editor]; Hindley, J. Roger [Editor];
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997, Proceedings
by Groote, Philippe De (Editor), and Hindley, J Roger (Editor)
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997, Proceedings
by Groote, Philippe De (Editor), and Hindley, J Roger (Editor)
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 412 p. Lecture Notes in Computer Science, 1210. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, ...(Lecture Notes in Computer Science, 1210)