Extensional Constructs in Intensional Type Theory by Martin Hofmann
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).You might also like
Advances in Financial Machine Learning
Loading...
How AI Will Change Your Life
Loading...
Pattern Recognition and Machine Learning
Loading...
OCR AS and A Level Computer Science
Loading...
Hands-On Large Language Models
Loading...
Essential Math for Data Science
Loading...
Prediction Machines, Updated and Expanded
Loading...
-
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
-
Image Mosaicing and Super-resolution
-
Asynchronous System-on-Chip Interconnect
-
User-Developer Cooperation in Software Development
-
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
-
Theorem Proving with the Real Numbers
-
Hardware Evolution
-
Models of Sharing Graphs
-
Stochastic Algorithms for Visual Tracking
-
Randomized Algorithms: Approximation, Generation, and Counting
-
Architecture-Independent Loop Parallelisation
-
Large Scale Collaborative Virtual Environments
-
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
-
Automated Theory Formation in Pure Mathematics
-
Inheritance Relationships for Disciplined Software Construction
-
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Martin Hofmann ist Experte für Rechnungslegung und Controlling und absolvierte ein EMBA mit Vertiefung in Controlling & Consulting sowie eine Ausbildung zum Six Sigma Green Belt. Er verfügt über mehrjährige Erfahrung im Prozessmanagement und als Leiter von Verbesserungsvorhaben.
| SKU | Unavailable |
| ISBN 13 | 9781447112433 |
| ISBN 10 | 1447112431 |
| Title | Extensional Constructs in Intensional Type Theory |
| Author | Martin Hofmann |
| Series | Distinguished Dissertations |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer London Ltd |
| Year published | 2011-09-22 |
| Number of pages | 216 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |
Customers who bought this item also bought
Advances in Financial Machine Learning
Loading...
How AI Will Change Your Life
Loading...
Pattern Recognition and Machine Learning
Loading...
OCR AS and A Level Computer Science
Loading...
Hands-On Large Language Models
Loading...
Essential Math for Data Science
Loading...
Prediction Machines, Updated and Expanded
Loading...
Python by Example
Loading...
Deep Thinking
Loading...
Learning the Pandas Library
Loading...
IT Architecture For Dummies
Loading...
Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow 3e
Loading...
More editions available
Deep Learning
Loading...
Universal Principles of UX
Loading...
Simply AI
Loading...
Rewire or Retire
Loading...
HBR Guide to AI Basics for Managers
Loading...
AQA AS and A Level Computer Science
Loading...
Relationships 5.0
Loading...
Sound On Sound Book Of Music Technology
Loading...
