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 10 - 12, 1995. Proceedings - Couverture souple
Synopsis
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.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 354059048X
- ISBN 13 9783540590484
- ReliureBroché
- Langueanglais
- Nombre de pages460
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 44,74
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délais
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)
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
Quantité disponible : 1 disponible(s)
Image d'archives
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
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
Quantité disponible : 1 disponible(s)
Image d'archives
Typed Lambda Calculi And Applications -
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
Quantité disponible : 1 disponible(s)
Image d'archives
Typed Lambda Calculi And Applications -
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 ABEJUNE24-267989
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Typed Lambda Calculi and Applications
Edité par
Springer Berlin Heidelberg, 1995
ISBN 10 : 354059048X
ISBN 13 : 9783540590484
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 t. N° de réf. du vendeur 4894927
Quantité disponible : Plus de 20 disponibles
Image d'archives
Typed Lambda Calculi and Applications
Edité par
Springer, 1995
ISBN 10 : 354059048X
ISBN 13 : 9783540590484
Ancien ou d'occasion
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 460. N° de réf. du vendeur 263069893
Quantité disponible : 1 disponible(s)
Image d'archives
Typed Lambda Calculi and Applications
Edité par
Springer, 1995
ISBN 10 : 354059048X
ISBN 13 : 9783540590484
Ancien ou d'occasion
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Used. pp. 460 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5859354
Quantité disponible : 1 disponible(s)
Image d'archives
Typed Lambda Calculi and Applications
Edité par
Springer, 1995
ISBN 10 : 354059048X
ISBN 13 : 9783540590484
Ancien ou d'occasion
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Used. pp. 460. N° de réf. du vendeur 183069903
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Edité par
Springer Berlin Heidelberg, 1995
ISBN 10 : 354059048X
ISBN 13 : 9783540590484
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540590484
Quantité disponible : 1 disponible(s)
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, 902)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540590484_new
Quantité disponible : Plus de 20 disponibles