来自阿格达维基

主要:使用Agda的论文

网站上还提供了使用Agda的出版物列表https://researchr.org/agovisory/agda-papers/publications,可以导出为BibTeX和其他格式。

按第一作者姓名排序的论文列表:

A类

B类

C类

D类

E类

F类

G公司

H(H)

J型

K(K)

L(左)

M(M)

N个

O(运行)

P(P)

R(右)

S公司

T型

U型

V(V)

X

Z轴

(截至2020-02-22年,共有235篇论文。)

检索自https://wiki.portal.chalmers.se/agda/Main/PapersUsingAgda网站
页面上次修改时间:2024年1月16日上午09:46