Erschienen: 17.03.1995 Abbildung von Dezani-Ciancaglini / Plotkin | Typed Lambda Calculi and Applications | 1995

Dezani-Ciancaglini / Plotkin

Typed Lambda Calculi and Applications

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1995. Buch. viii, 452 S. Bibliographien. Softcover

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

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

Gewicht: 1410 g

In englischer Sprache

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

Produktbeschreibung

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

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

        Ihre Daten werden geladen ...