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)

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540626883
MPN
Springer Berlin Heidelberg 7007825

Eigenschaften

Menü