Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997 : Proceedings
International Conference on Typed Lambda Calculi and Applications (3rd : 1997 : Nancy, France); De Groote, Philippe; Hindley, J. Roger
ISBN 10: 3540626883 ISBN 13: 9783540626886
Published by Springer, 1997
New
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 April 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 917172-n
Synopsis:
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.
The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Typed Lambda Calculi and Applications : ...
Publisher: Springer
Publication Date: 1997
Binding: Soft cover
Condition: New