forked from agda/agda-categories
-
Notifications
You must be signed in to change notification settings - Fork 0
/
CITATION.cff
50 lines (50 loc) · 1.66 KB
/
CITATION.cff
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
abstract: "A Category Theory library for Agda."
authors:
- family-names: Carette
given-names: Jacques
orcid: "https://orcid.org/0000-0001-8993-9804"
website: "https://www.cas.mcmaster.ca/~carette/"
affiliation: "McMaster University, Computing and Software Department"
email: "carette@mcmaster.ca"
- family-names: Hu
given-names: Jason
orcid: "https://orcid.org/0000-0001-6710-6262"
affiliation: "McGill University"
email:: "zhong.s.hu@mail.mcgill.ca"
- family-names: Mullanix
given-names: Reed
orcid: "https://orcid.org/0000-0002-7970-4961"
- family-names: "van Doorn"
given-names: Nathan
- family-names: Goncharov
given-names: Sergey
orcid: "https://orcid.org/0000-0001-6924-8766"
- family-names: Stucki
given-names: Sandro
orcid: "https://orcid.org/0000-0001-5608-8273"
cff-version: 1.2.0
keywords:
- "agda-categories"
- research
- "Category Theory"
license: MIT
message: "If you use this software, please cite both the article from preferred-citation and the software itself."
repository-code: "https://github.com/agda/agda-categories"
title: "agda-categories"
version: 1.7.1
preferred-citation:
authors:
- family-names: Carette
given-names: Jacques
orcid: "https://orcid.org/0000-0001-8993-9804"
affiliation: "McMaster University, Computing and Software Department"
email: "carette@mcmaster.ca"
- family-names: Hu
given-names: Jason
orcid: "https://orcid.org/0000-0001-6710-6262"
affiliation: "McGill University"
email:: "zhong.s.hu@mail.mcgill.ca"
title: "Formalizing Category Theory in Agda"
year: 2021
type: article
doi: 10.1145/3437992.3439922