[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