Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... Notes in Computer Science, 1210, Band 1210) | Kaicus Deutschland

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... Notes in Computer Science, 1210, Band 1210)

53.49 EUR

Marke: Springer Berlin Heidelberg
ISBN: 3540626883
MPN: 7007825