Erschienen: 24.03.1999 Abbildung von Girard | Typed Lambda Calculi and Applications | 1999 | 4th International Conference, ... | 1581

Girard

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1999. Buch. vIII, 404 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-65763-7

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1270 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 1581

Produktbeschreibung

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.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...