Take a photo of a barcode or cover
Read With Others
Book Information
452 pages • paperback • 6 editions
ISBN/UID: 9783540590484
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Mar 1995
Description
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively rep...
Community Reviews
Content Warnings
452 pages • paperback
ISBN/UID: 9783540590484
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 17 Mar 1995
Description
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively rep...
Community Reviews
Content Warnings