Homotopy Type Theory: Programming and Verification

Computer Science

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