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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
