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 |
---|