nextgen-typing/CITATION.cff at main · hyperpolymath/nextgen-typing · GitHub

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
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
type: software
title: "nextgen-typing"
abstract: "Coordination monorepo for the hyperpolymath type theory pipeline. Holds no compiler or application code: it documents the pipeline roadmap and inter-repo relationships, and hosts the cross-project formal-verification proofs in verification/proofs/."
authors:
  - family-names: "Jewell"
    given-names: "Jonathan D.A."
    orcid: "https://orcid.org/0000-0002-3078-6652"
repository-code: "https://github.com/hyperpolymath/nextgen-typing"
keywords:
  - "dependent-types"
  - "linear-types"
  - "partiality"
  - "turing-completeness"
  - "type-theory"
  - "epistemic-computing"
  - "epistemic-infrastructure"
  - "equivalence-aware-computing"
  - "formal-verification"
  - "hyperpolymath"
  - "language-design"
  - "open-source"
  - "programming-language"
  - "research-software"
  - "totality-checking"
  - "typed-provenance"
  - "veridical-computing"
  - "universe-hierarchy"