Extensible Proof Engineering in Intensional Type Theory
We increasingly rely on large, complex systems in our daily lives---from the computers that park our cars to the medical devices that regulate insulin levels to the servers that store our personal information in the cloud. As these systems grow, they become too complex for a person to understand, y...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Harvard University
2015
|
| Subjects: | |
| Online Access: | http://nrs.harvard.edu/urn-3:HUL.InstRepos:17467172 |