[Agda] How to cite Agda?

Cai cai at mathematik.uni-marburg.de
Wed Oct 30 08:54:07 CET 2013


My colleagues and I are writing a paper using Agda. We would like to
include a bibliographic item to help readers who hadn't heard of Agda. How
would the Agda development team like to be cited?

Citations by other authors include
- Ulf Norell's thesis,
- Agda wiki, with Ulf Norell as author,
- Agda wiki, with "the Agda team" as author,
- "Dependently typed programming in Agda" by Ulf Norrel in LNCS.

Yufei Cai
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131030/ab978adc/attachment.html


More information about the Agda mailing list