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

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Types for Proofs and Programs - International Workshop, TYPES'99, Loekeberg, Sweden, June 12-16, 1999, Selected Papers (Paperback, 2000 ed.) Loot Price: R1,562

Discovery Miles 15 620

Repayment Terms: R146 pm x 12*

Add to cart

Types for Proofs and Programs - International Workshop, TYPES'99, Loekeberg, Sweden, June 12-16, 1999, Selected Papers...

Types for Proofs and Programs - International Workshop, TYPES'99, Loekeberg, Sweden, June 12-16, 1999, Selected Papers (Paperback, 2000 ed.)

Thierry Coquand, Peter Dybjer, Bengt Nordstroem, Jan Smith

Series: Lecture Notes in Computer Science, 1956

(sign in to rate)

Loot Price R1,562 Discovery Miles 15 620 | Repayment Terms: R146 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999.The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1956
Release date:	December 2000
First published:	2000
Editors:	Thierry Coquand • Peter Dybjer • Bengt Nordstroem • Jan Smith
Dimensions:	235 x 155 x 11mm (L x W x T)
Format:	Paperback
Pages:	202
Edition:	2000 ed.
ISBN-13:	978-3-540-41517-6
Categories:	Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-41517-3
Barcode:	9783540415176