Homotopy Type Theory: Programming and Verification

Computer Science

1. Argument 7%
2. Bound Variable 9%
3. Case Expression 7%
4. Computer Science 9%
5. Contexts 9%
6. Correct Behavior 9%
7. Correctness Proofs 9%
8. Data Representation 7%
9. Design 5%
10. Evaluation 28%
11. Extensional Equality 7%
12. Formal Verification 7%
13. Formalization 7%
14. Functions 43%
15. Inductive Definition 28%
16. Innovations 28%
17. Invariants 18%
18. Model Checking 7%
19. Models 72%
20. Modern Software 7%
21. Modularity 7%
22. Parametric Polymorphism 57%
23. Polymorphism 14%
24. Programming Language 57%
25. Programs 100%
26. Proof System 7%
27. Reasoning 9%
28. Renaming 38%
29. Representation 22%
30. Runtime Environment 9%
31. Scalability 7%
32. Semantics 67%
33. Simulation 28%
34. Software 21%
35. Software Failure 14%
36. Software Systems 14%
37. Software Verification 7%
38. Standard Library 5%
39. Standards 10%
40. Teams 7%
41. Testing 7%
42. Transformations 28%
43. User 11%
44. Verification System 28%