Extensional Constructs in Intensional Type Theory presents a novel
approach to the treatment of equality in Martin-Loef type theory (a
basis for important work in mechanised mathematics and program
verification). Martin Hofmann attempts to reconcile the two
different ways that type theories deal with identity types. The
book will be of interest particularly to researchers with mainly
theoretical interests and implementors of type theory based proof
assistants, and also fourth year undergraduates who will find it
useful as part of an advanced course on type theory.
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
