Delivery included to the United States

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : Proceedings - Lecture Notes in Computer Science

Paperback

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780387565170
Publisher: Springer Verlag
Imprint: Springer Verlag
Language: English
Number of pages: 432
Weight: 548g
Height: 155mm
Width: 233mm
Spine width: 20mm