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

Language: English

Published by Springer-Verlag, 1995

354059048X / 9783540590484

  • Softcover
  • Used
See all details

Seller: George Cross Books, Lexington, MA, U.S.A.George Cross Books

5-star seller

AbeBooks seller since June 11, 2003

Association member: IOBA

Softcover

Condition: Used

£ 21.52

£ 2.98 shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

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.

Seller Inventory # 34592

Title
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Author
Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon (Eds.)
Publisher
Springer-Verlag
Publication year
1995
Binding
Paperback
Language
English
ISBN 10
354059048X
ISBN 13
9783540590484
Edition
Reprint edition

George Cross Books

Lexington, MA, U.S.A.

5-star seller

AbeBooks seller since June 11, 2003

Association member:

Shipping rates within U.S.A.

Item5 to 14 business days3 to 6 business days
First item£ 2.98£ 7.46
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Cash
  • Check
  • Invoice
  • Money Order
  • Paypal

Store description

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Specialty

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Association member

  • Independent Online Booksellers Association
Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

George Cross Books

MA, U.S.A.