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, 664)

ISBN-13: 9783540565178

ISBN-10: 3540565175

Author: International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)

Edition: 1993

Binding: Paperback

Publisher: Springer

Published: 1993-03-03

Sell this book           Buy or Rent?