• See large image

  Types for Proofs and Programs: International Workshop, Types'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science) (Paperback) Edited by Thierry Coquand, Edited by Peter Dybjer, Edited by Bengt Nordström, Edited by Jan Smith

  

  $64.35 - Save $11.96 (15%) - RRP $76.31 Free delivery worldwide (to United States and
  all these other countries) Usually dispatched within 48 hours Add to basket | Add to wishlist |

  Short Description for Types for Proofs and ProgramsThis work constitutes the post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lokeberg, Sweden, in June 1999. Issues on type theory and type systems and their applications to programming and proof theory are addressed.
  Full description

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Published: 01 March 2001
  • Format: Paperback 208 pages
  • See: Full bibliographic data
  • Categories: Mathematical Logic | Computer Programming / Software Development | Programming & Scripting Languages: General | Computer Science | Computer Architecture & Logic Design | Artificial Intelligence
  • ISBN 13: 9783540415176 ISBN 10: 3540415173

• 25 Years of Model Checking

  

  Add to basket $37.29 - Save $2.45 (6%) - RRP $39.74

• Reflections on the Teaching of P...

  

  Add to basket $51.74 - Save $13.44 20% off - RRP $65.18

• Direct Methods for Sparse Matric...

  

  Add to basket $18.11 - Save $0.96 (5%) - RRP $19.07

• Image Analysis and Processing 20...

  

  Add to basket $88.34 - Save $13.41 (13%) - RRP $101.75

• Economics of Grids, Clouds, Syst...

  

  Add to basket $58.05 - Save $8.72 (13%) - RRP $66.77

Full description for Types for Proofs and Programs

• This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lokeberg, 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.