Typisierte Lambda-Rechner und Anwendungen: 4th International Conference, Tlca'99...
75,20 €
Typed Lambda Calculi and Applications : 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999 : Proceedings, Paperback by International Conference on Typed Lambda Calculi and Applications (4th : 1999 : L'Aquila, Italy); Girard, Jean-Yves (EDT), ISBN 3540657630, ISBN-13 9783540657637, Like New Used, Free P&P in the UK DeGroote U. DeLiguoro M. Dezani R. Dickho? H. Geuvers N. Ghani P. Giannini S. Guerrini B. Harper R. Hasegawa H. Herbelin M. Hofmann K. Honda R. Jagadeesan T. Jim Y. Kameyama M. Kanovich R. Kashima Y. Kinoshita T. Kurata Y. Lafont J. Laird F. Lamarche P. B. Levy C. McBride M. Marz R. Matthes P. -A. Mellies G. Mitschke H. Nickau S. Nishizaki M. Parigot C. Paulin F. Pfenning B.
Jetzt bei Ebay:
