Take a photo of a barcode or cover
Read With Others
Book Information
400 pages • paperback • 6 editions
ISBN/UID: 9783540732273
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Aug 2007
Description
This volume represents the proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France during 26-28 June 2007, in conjunction with RTA. It contains the abstracts of the invited talk...
Community Reviews
Content Warnings
400 pages • paperback
ISBN/UID: 9783540732273
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Aug 2007
Description
This volume represents the proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France during 26-28 June 2007, in conjunction with RTA. It contains the abstracts of the invited talk...
Community Reviews
Content Warnings