出版物

入门

使用Agda的课程

使用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)

W公司

X(X)

Z轴

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

页面上次修改时间:2016年6月14日下午03:58
技术支持私人维基