Erschienen: 18.02.2005 Abbildung von Kluge | Abstract Computing Machines | 2005 | A Lambda Calculus Perspective

Kluge

Abstract Computing Machines

A Lambda Calculus Perspective

lieferbar (3-5 Tage)

2005. Buch. xiv, 384 S. 89 s/w-Abbildungen, Bibliographien. Hardcover

Springer. ISBN 978-3-540-21146-4

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

Gewicht: 804 g

In englischer Sprache

Produktbeschreibung

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Autoren

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

        Ihre Daten werden geladen ...