Typed Lambda Calculi and Applications

Dezani-Ciancaglini Mariangiola Plotkin Gordon

ISBN 10: 354059048X ISBN 13: 9783540590484

Verlag: Springer, 1995

Sprache: Englisch

Gebraucht Zustand: Used Softcover

F�r sp�ter vormerken

Verkauft von Biblios, Frankfurt am main, HESSE, Deutschland

AbeBooks-Verk�ufer seit 10. September 2024

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Used

Preis: EUR 54,49 W�hrung umrechnen

EUR 2,30 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

pp. 460.

Bestandsnummer des Verk�ufers 183069903

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Typed Lambda Calculi and Applications
Verlag: Springer
Ver�ffentlichungsdatum: 1995
Sprache: Englisch
ISBN-10: 354059048X
ISBN-13: 9783540590484
Bindung: Softcover
Zustand: Used

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We carry a wide selection of books from South Asia, United States, UK.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Versandbedingungen

To ensure faster delivery, books may be shipped from any of the following locations; Germany, the United Kingdom (UK), the United States (US),based on the buyer's address and product availability.

Impressum & Info zum Verk�ufer

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen