Data & IT

Types for Proofs and Programs

Thorsten Altenkirch • Conor McBride

Pocket

989:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

272 sidor
2007

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.

Författare: Thorsten Altenkirch, Conor McBride
Illustratör: Bibliographie
Format: Pocket/Paperback
ISBN: 9783540744634
Språk: Engelska
Antal sidor: 272
Utgivningsdatum: 2007-10-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K