Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne Paperback - 1993 - 1993rd Edition
by Marc Bezem (Editor); Jan F. Groote (Editor)
Details
- Title Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne
- Author Marc Bezem (Editor); Jan F. Groote (Editor)
- Binding Paperback
- Edition number 1993rd
- Edition 1993
- Pages 443
- Volumes 1
- Language ENG
- Publisher Springer
- Date 1993-03-03
- ISBN 9783540565178 / 3540565175
- Weight 1.4 lbs (0.64 kg)
- Dimensions 9.21 x 6.14 x 0.92 in (23.39 x 15.60 x 2.34 cm)
- Library of Congress Catalog Number 93021883
- Dewey Decimal Code 511.3
More Copies for Sale
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... (Lecture Notes in Computer Science)
by Bezem, Marc [Editor]; Groote, Jan F. [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540565178 / 3540565175
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
A$14.03A$9.10 shipping to USA
Show Details
Description:
Springer, 1993-04-08. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
A$14.03
A$9.10
shipping to USA
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... (Lecture Notes in Computer Science, 664)
by Bezem, Marc and Groote, Jan F
- Used
- Fine
- Paperback
- Condition
- Used - Fine
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540565178 / 3540565175
- Quantity Available
- 1
- Seller
-
Cincinnatii, Ohio, United States
- Item Price
-
A$18.23A$6.08 shipping to USA
Show Details
Description:
Paperback. Fine. Softcover.
Item Price
A$18.23
A$6.08
shipping to USA
Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
by Marc Bezem
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540565178 / 3540565175
- Quantity Available
- 178
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$103.32A$15.54 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings.
Item Price
A$103.32
A$15.54
shipping to USA
Stock Photo: Cover May Be Different
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
by Marc Bezem
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540565178 / 3540565175
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$114.83A$19.35 shipping to USA
Show Details
Description:
Paperback / softback. New. In the 1960s it wasdiscovered that the types of typed lambda calculi are infact appearances of logical propositions. Thus there are twopossible views of typed lambda calculi:- as models of computation, where terms are viewed asprograms in a typed programming language;
Item Price
A$114.83
A$19.35
shipping to USA