Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)
Original price was: $65.00.$19.00Current price is: $19.00.
(In stock)
Extensional Constructs in Intensional Type Theory (Distinguished Dissertations), Pedro Albertos, 9781447112433
In stock
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.
| ISBN | |
|---|---|
| Page Number | |
| Author | |
| Publisher |
Related Products
-
Sale
Computational Electromagnetism: Cetraro, Italy 2014: 2015 (Lecture Notes in Mathematics)
Marco Bernardo Original price was: $21.00.$12.00Current price is: $12.00. -
Sale
Neoclassical Theory of Electromagnetic Interactions: A Single Theory for Macroscopic and Microscopic Scales (Theoretical and Mathematical Physics)
Rudolf Original price was: $104.00.$11.00Current price is: $11.00. -
Sale
Mathematical Modelling for Sustainable Development (Environmental Science and Engineering)
Alex Kalloniatis Original price was: $75.00.$7.00Current price is: $7.00. -
Sale
Information Technology in Geo-Engineering: Proceedings of the 3rd International Conference (ICITG), Guimares, Portugal (Springer Series in Geomechanics and Geoengineering)
Ezio Bartocci Original price was: $27.00.$7.00Current price is: $7.00. -
Sale
Reduced Modelling of Planar Fuel Cells: Spatial Smoothing and Asymptotic Reduction
Sergei Silvestrov Original price was: $23.00.$10.00Current price is: $10.00. -
Sale
Monte Carlo Methods for Particle Transport
Vijay Kumar Original price was: $26.00.$18.00Current price is: $18.00.