Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, March 16-18, 1993, Utrecht, The Netherlands, Proceedings

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, March 16-18, 1993, Utrecht, The Netherlands, Proceedings

by M. Bezem
     
 

ISBN-10: 0387565175

ISBN-13: 9780387565170

Pub. Date: 04/28/1993

Publisher: Springer-Verlag New York, LLC

Product Details

ISBN-13:
9780387565170
Publisher:
Springer-Verlag New York, LLC
Publication date:
04/28/1993
Series:
Lecture Notes in Computer Science
Pages:
441
Product dimensions:
9.21(w) x 6.14(h) x 0.81(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >