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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Our shop is now closed. We work from a local warehouse. Visitors by appointment. Our stock of 45,000 items includes academic books, enthusiasts' books, and antiquarian books.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

G. & J. CHESTERS
United Kingdom

Conditions de vente :

ALL BOOKS ARE IN VERY GOOD CONDITION UNLESS OTHERWISE DESCRIBED. ANY BOOK WHICH IS CONSIDERED TO BE WRONGLY DESCRIBED AND WITH WHICH THE CUSTOMER IS NOT SATISFIED MAY BE RETURNED AND MONEY WILL BE REFUNDED. TWO ASTERISKS AFTER THE DATE OF PUBLICATION SIGNIFY AN EX-LIBRARY COPY IN GENERALLY VERY GOOD CONDITION. "DW" IS AN ABBREVIATION FOR DUSTWRAPPER (OR DUST-JACKET).
ALL BOOKS ARE FIRST PRINTINGS OF THE FIRST EDITION UNLESS STATED DIFFERENTLY. ALL ARE HARDBACKS UNLESS DESCRIBED AS 'pbk' OR 'pape...

Pour plus d'information

Conditions de livraison :

Postage and packing is always at cost (the only fair system) so please ignore the irrelevant default figure. If the book which you order is heavy or oversized, we will contact you to let you know that extra shipping is required. On the other hand, if the book is very light, we will reduce the postage costs.
If you know that the book which you wish to buy is heavy, you could email us to learn the postage before ordering.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Typed Lambda Calculi and Applications. [Second International...

Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902)

Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur