Head noun: agda
| Same concepts |
|---|
| http://dbpedia.org/resource/Agda |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| dependently-typed language | isap:460211314 | 0.439040 |
| type functional programming language | isap:460211312 | 0.414712 |
| proof assistant | isap:287399727 | 0.293344 |
| language | isap:460211313 | 0.286219 |
| proof | isap:89799640 | 0.188682 |
| type theory | isap:302202923 | 0.180379 |
| system | isap:306031494 | 0.178340 |
Narrower concepts
| label | provenance | confidence |
|---|