[Agda] How to cite Agda?
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda