Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Vector & tensor analysis

Buy Now

Typed Lambda Calculi and Applications - 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Paperback, 2001 ed.) Loot Price: R1,449
Discovery Miles 14 490
Repayment Terms: R136 pm x 12*
Add to cart
Typed Lambda Calculi and Applications - 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings...

Typed Lambda Calculi and Applications - 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Paperback, 2001 ed.)

Samson Abramsky

Series: Lecture Notes in Computer Science, 2044

 (sign in to rate)
Loot Price R1,449 Discovery Miles 14 490 | Repayment Terms: R136 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2044
Release date: 2001
First published: 2001
Editors: Samson Abramsky
Dimensions: 233 x 155 x 23mm (L x W x T)
Format: Paperback
Pages: 436
Edition: 2001 ed.
ISBN-13: 978-3-540-41960-0
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Vector & tensor analysis
Promotions
LSN: 3-540-41960-8
Barcode: 9783540419600

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Calculus - Early Transcendentals, Metric Edition (Hardcover, 9th Edition): James Stewart, Saleem Watson, Daniel K Clegg
Calculus - Early Transcendentals, Metric…
James Stewart, Saleem Watson, … Hardcover R1,337 R1,259 Discovery Miles 12 590
A Generalized Framework of Linear Multivariable Control (Paperback): Liansheng Tan
A Generalized Framework of Linear…
Liansheng Tan Paperback R2,325 R2,203 Discovery Miles 22 030
BI Statistical Methods - Volume I: Foundations (Hardcover): Peter Walley
BI Statistical Methods - Volume I…
Peter Walley Hardcover R2,666 Discovery Miles 26 660
Singular Elliptic Problems - Bifurcation & Asymptotic Analysis (Hardcover): Marius Ghergu, Vicentiu Radulescu
Singular Elliptic Problems - Bifurcation…
Marius Ghergu, Vicentiu Radulescu Hardcover R2,808 Discovery Miles 28 080
Vectors in Two or Three Dimensions (Paperback): Ann Hirst
Vectors in Two or Three Dimensions
Ann Hirst Paperback R1,019 Discovery Miles 10 190
Math Without Numbers (Paperback): Milo Beckman
Math Without Numbers
Milo Beckman Paperback R415 R383 Discovery Miles 3 830
Multivariable Calculus, Metric Edition (Hardcover, 9th edition): Daniel K Clegg, James Stewart, Saleem Watson
Multivariable Calculus, Metric Edition
Daniel K Clegg, James Stewart, … Hardcover R1,317 R1,228 Discovery Miles 12 280
Data Analysis and Data Mining - An Introduction (Hardcover): Adelchi Azzalini, Bruno Scarpa
Data Analysis and Data Mining - An…
Adelchi Azzalini, Bruno Scarpa Hardcover R3,280 Discovery Miles 32 800
Deformation Theory of Discontinuous Groups (Hardcover): Ali Baklouti
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R5,423 Discovery Miles 54 230
Boundary Elements and Other Mesh Reduction Methods XLVI (Hardcover): E. Divo, A Kassab, A. H.-D. Cheng
Boundary Elements and Other Mesh…
E. Divo, A Kassab, … Hardcover R2,673 Discovery Miles 26 730
Schaum's Outline of Calculus, Seventh Edition (Paperback, 7th edition): Elliott Mendelson
Schaum's Outline of Calculus, Seventh…
Elliott Mendelson Paperback R454 Discovery Miles 4 540
Data Analysis and Related Applications Volume 1 (Hardcover): KN Zafeiris
Data Analysis and Related Applications…
KN Zafeiris Hardcover R3,522 Discovery Miles 35 220

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners