Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science, 664, Band 664) | Kaicus Deutschland

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science, 664, Band 664)

53.49 EUR

Marke: Groote, Jan F.
ISBN: 3540565175