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)

Brand new: lowest price

AU $242.95

+ AU $12.95 postage
  • Get it by Mon, 28 May - Fri, 1 Jun from West Ryde, NSW
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). The lambda calculus was developed in the 1930s by Alonzo Church.
Sold byausreseller (143576)97.5% positive Feedback