TY  - RPRT
TI  - Type-Theoretic Signatures for Algebraic Theories and Inductive Types
AU  - András Kovács
PY  - 2023
UR  - https://arxiv.org/abs/2302.08837
ID  - 2302.08837
ER  -