Description:
New York: Springer-Verlag, 1995. Reprint edition. Paperback. Very Good/Wraps. 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 Wraps . ISBN: 9783540590484. Catalogs: Computer Science.
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, Paperback - 1995
by Mariangiola Dezani-Ciancaglini (Editor); Gordon Plotkin (Editor)
First line
In [Lam90], Lamping proposed a complex graph reduction technique for the A-calculus that was optimal in the sense of Levy [Le78].
Details
- Title Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom,
- Author Mariangiola Dezani-Ciancaglini (Editor); Gordon Plotkin (Editor)
- Binding Paperback
- Edition 1st
- Pages 452
- Volumes 1
- Language ENG
- Publisher Springer, Berlin, Germany
- Date 1995-03-17
- ISBN 9783540590484 / 354059048X
- Weight 1.41 lbs (0.64 kg)
- Dimensions 9.21 x 6.14 x 0.93 in (23.39 x 15.60 x 2.36 cm)
- Library of Congress Catalog Number 95005969
- Dewey Decimal Code 511.3
More Copies for Sale
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
by Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon (Eds.)
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Edition
- Reprint edition
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540590484 / 354059048X
- Quantity Available
- 1
- Seller
-
LEXINGTON, Massachusetts, United States
- Item Price
-
A$38.06A$7.60 shipping to USA
Show Details
Item Price
A$38.06
A$7.60
shipping to USA
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science)
by Dezani-Ciancaglini, Mariangiola [Editor]; Plotkin, Gordon [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540590484 / 354059048X
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
A$51.47A$9.12 shipping to USA
Show Details
Description:
Springer, 1995-03-17. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
A$51.47
A$9.12
shipping to USA
Stock Photo: Cover May Be Different
Typed Lambda Calculi And Applications -
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540590484 / 354059048x
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
A$73.94A$7.61 shipping to USA
Show Details
Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
A$73.94
A$7.61
shipping to USA
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
by Mariangiola Dezani-Ciancaglini
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540590484 / 354059048x
- Quantity Available
- 484
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$102.82A$15.46 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings.
Item Price
A$102.82
A$15.46
shipping to USA
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications
- Used
- Condition
- Used
- ISBN 10 / ISBN 13
- 9783540590484 / 354059048X
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
A$81.85A$6.07 shipping to USA
Show Details
Description:
Springer , pp. 460 . Papeback. Used.
Item Price
A$81.85
A$6.07
shipping to USA
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
by Mariangiola Dezani-Ciancaglini
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540590484 / 354059048x
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$115.90A$19.26 shipping to USA
Show Details
Description:
Paperback / softback. New. 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.
Item Price
A$115.90
A$19.26
shipping to USA
Stock Photo: Cover May Be Different
TYPED LAMBDA CALCULI AND APPLICATIONS -
by PLOTKIN, GORDON,
- New
- Paperback
- first
- Condition
- New
- Edition
- 1st
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540590484 / 354059048X
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
A$95.90A$15.22 shipping to USA
Show Details
Description:
Springer, 1995. 1st. Paperback. New/New.
Item Price
A$95.90
A$15.22
shipping to USA