Types for Proofs and Programs

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was f- mal reasoning and computer programming based on type theory: languages and computerized tools for r...
Read more
product_type_E-book
pdf
Price
44.99 £
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was f- mal reasoning and computer programming based on type theory: languages and computerized tools for r...
Read more

Options

  • Formats: pdf
  • ISBN: 9783642024443
  • Publication Date: 7 Jun 2009
  • Publisher: Springer Berlin Heidelberg
  • Product language: English
  • Drm Setting: DRM