from Springer Verlag (June 1, 1997)
9783540626886 |
details & prices | List price $88.95
About: 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.