PapersUsingAgda

There is also a list of publications using Agda available at https://researchr.org/bibliography/agda-papers/publications, which can be exported to BibTeX and other formats.

List of papers sorted by name of first author:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Z

(235 papers as of 2020-02-22.)

Page last modified on March 30, 2020, at 09:08 PM
Powered by PmWiki