Publications

Getting Started

Documentation and examples

Courses using Agda

Papers using Agda

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 June 14, 2016, at 03:58 PM
Powered by PmWiki