TY  - CONF

T1  - A Categorical Semantics for Inductive-Inductive Definitions.

JO  - CALCO

UR  - https://doi.org/10.1007/978-3-642-22944-2

PY  - 2011/01/01

AU  - Altenkirch T

AU  - Morris P

AU  - Forsberg FN

AU  - Setzer A

ED  - Corradini A

ED  - Klin B

ED  - Cîrstea C

PB  - Springer

SN  - 978-3-642-22943-5

VL  - 6859

SP  - 70

EP  - 84

Y2  - 2024/10/19

ER  -