Hoppa till sidans huvudinnehåll

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Häftad, Engelska, 2003

AvHerman Geuvers,Freek Wiedijk

689 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.

Produktinformation

  • Utgivningsdatum2003-04-28
  • Mått155 x 235 x 19 mm
  • Vikt522 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor336
  • Upplaga2003
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540140313

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Del 32

Logic Colloquium 2006

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen, Jouko Väänänen, S. Barry (University of Leeds) Cooper, Herman (Radboud Universiteit Nijmegen) Geuvers, Anand (University of Leeds) Pillay, Jouko Vaananen

Inbunden

2 139 kr

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers, The Netherlands) Nederpelt, Rob (Technische Universiteit Eindhoven, Herman (Radboud Universiteit Nijmegen) Geuvers

Inbunden

1 199 kr