Skip to content

Typed Lambda Calculi and Applications: Second International Conference on Typed
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
Back to Top

More Copies for Sale

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$38.06
A$7.60 shipping to USA

Show Details

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.
Item Price
A$38.06
A$7.60 shipping to USA
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$51.47
A$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
Typed Lambda Calculi And Applications -
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$73.94
A$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...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$102.82
A$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
Typed Lambda Calculi and Applications
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$81.85
A$6.07 shipping to USA

Show Details

Description:
Springer , pp. 460 . Papeback. Used.
Item Price
A$81.85
A$6.07 shipping to USA
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$115.90
A$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
TYPED LAMBDA CALCULI AND APPLICATIONS -
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$95.90
A$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