函数式编程, 形式化验证, 类型论, 编程语言, 计算机科学

Agda (编程语言)

, , , ,