Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings - Couverture souple

Plotkin, Gordon ; Dezani-Ciancaglini, Mariangiola

9783540590484: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

Couverture souple

ISBN 10 : 354059048X ISBN 13 : 9783540590484

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

7 D'occasion

De EUR 10,68

10 Neuf

De EUR 48,55

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 � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 354059048X
ISBN 13: 9783540590484
Reliure: Broch�
Nombre de pages: 460
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

R�sultats de recherche pour Typed Lambda Calculi and Applications: Second International...

Image d'archives

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

Edit� par Springer Berlin Heidelberg, 1995

ISBN 10 : 354059048X ISBN 13 : 9783540590484

Ancien ou d'occasion Soft cover

Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Soft cover. Etat : Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library. N� de r�f. du vendeur 138135

Contacter le vendeur

Acheter D'occasion

EUR 10,68

Frais de port : EUR 9,12

De Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom

Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon (Eds.)

Edit� par Springer-Verlag, 1995

ISBN 10 : 354059048X ISBN 13 : 9783540590484

Ancien ou d'occasion Paperback

Vendeur : George Cross Books, Lexington, MA, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Paperback. Reprint edition. Very Good/Wraps (34592) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 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. 443. N� de r�f. du vendeur 34592

Contacter le vendeur

Acheter D'occasion

EUR 25,04

Frais de port : EUR 3,47

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, . (Lecture Notes in Computer Science)

Dezani-Ciancaglini, Mariangiola [Editor]; Plotkin, Gordon [Editor];

Edit� par Springer, 1995

ISBN 10 : 354059048X ISBN 13 : 9783540590484

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a-0936

Contacter le vendeur

Acheter D'occasion

EUR 31,02

Frais de port : EUR 6,07

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Typed Lambda Calculi And Applications -

Plotkin, Gordon; Dezani-Ciancaglini, Mariangiola

Edit� par Springer, 1995

ISBN 10 : 354059048X ISBN 13 : 9783540590484

Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N� de r�f. du vendeur ABNR-93176

Contacter le vendeur

Acheter neuf

EUR 48,55

Frais de port : Gratuit

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Typed Lambda Calculi And Applications -

Edit� par Springer, 1995

ISBN 10 : 354059048X ISBN 13 : 9783540590484

Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N� de r�f. du vendeur ABEOCT25-241598

Contacter le vendeur