Suche einschränken:
Zur Kasse

Typed Lambda Calculi and Applications

Girard, Jean-Yves

Typed Lambda Calculi and Applications

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.

CHF 69.00

Lieferbar

ISBN 9783540657637
Sprache eng
Cover Kartonierter Einband (Kt)
Verlag Springer Berlin Heidelberg
Jahr 19990324

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.