52
programming-languages
× 5 |
6
coq
|
2
type-checking
|
0
category-theory
|
45
mathematical-foundations
|
5
formal-methods
|
2
iteration
|
0
curry-howard
|
45
church-turing-thesis
|
4
functional-programming
× 4 |
2
type-inference
|
0
turing-completeness
|
21
type-theory
× 8 |
4
fixed-point
|
2
lambda-calculus
|
0
kolmogorov-complexity
|
11
software-verification
× 2 |
4
language-design
|
2
dependent-types
|
0
descriptive-complexity
|
11
proof-techniques
× 2 |
4
terminology
|
2
boolean-algebra
|
0
proof-assistants
|
7
polymorphisms
× 2 |
3
reference-request
× 2 |
2
algorithms
|
0
generating-functions
|
6
turing-machines
× 2 |
3
sets
|
0
complexity-theory
|
xuq01
