Types for Proofs and Programs: International Workshop, Types'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers: Internationa by Thierry CoquandTypes for Proofs and Programs: International Workshop, Types'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers: Internationa by Thierry Coquand

Types for Proofs and Programs: International Workshop, Types'99, Lokeberg, Sweden, June 12-16, 1999…

byThierry CoquandEditorPeter Dybjer, Bengt Nordstr

Paperback | December 13, 2000

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Types for Proofs and Programs: International Workshop, Types'99, Lokeberg, Sweden, June 12-16, 1999…Format:PaperbackDimensions:202 pagesPublished:December 13, 2000Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540415173

ISBN - 13:9783540415176

Look for similar items by category:

Reviews